Pozitivnaya Klassifikatsiya Funktsiy Mnogoznachnoy Logiki : Monografiya

Bok av Marchenkov Sergey
Kniga posvyashchena izlozheniyu klassifikatsii funktsiy mnogoznachnoy logiki na osnove operatora pozitivnogo zamykaniya, a takzhe klassifikatsiy na osnove nekotorykh blizkikh k nemu operatorov. Kniga sostoit ikh vvedeniya, tryekh glav i dvukh prilozheniy. V glave I rassmatrivaetsya operator parametricheskogo zamykaniya. Tsentral'naya glava II posvyashchena operatoru pozitivnogo zamykaniya. V ney ustanavlivaetsya svyaz' mezhdu pozitivno zamknutymi klassami i polugruppami endomorfizmov. Opisyvayutsya vse pozitivno predpolnye klassy, nakhodyatsya vse pozitivno atomnye klassy tryekhznachnoy logiki i perechislyayutsya vse 194 pozitivno zamknutykh klassov tryekhznachnoy logiki. V glave III izuchaetsya operator C-zamykaniya s polnoy sistemoy logicheskikh svyazok, obobshchayushchiy operator pozitivnogo zamykaniya, a takzhe tri operatora zamykaniya s funktsional'nymi peremennymi, kotorye ekvivalentny operatoru C-zamykaniya. V prilozhenii 1 privodyatsya osnovy teorii Galua dlya zamknutykh klassov funktsiy i otnosheniy. V prilozhenii 2 dayutsya neobkhodimye svedeniya po odnorodnym funktsiyam.