SKIM.AIŹRÓDŁAADMIN
← POWRÓT
TŁO/ARXIV CS.AI

Ujednoznacznianie w teoriach struktur — formalna teoria kanonizacji

Artykuł prezentuje matematyczną ramę do konstruowania kanonicznych interpretacji z teorii struktur pluralnych. Rozróżnia rodzaje niedeterminizmu i proponuje mechanizmy kanonizacji na trzech poziomach złożoności.

#FORMAL-THEORY#LOGIC#STRUCTURE-THEORY