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