Диссертация - Семантический анализ простых паранормальных логик
Содержание
Оглавление
Введение...3
Глава 1 Простые паранормальные логики Io, VVP, AIP и IAP...8
§ 1.1 Исчисления HI0, HVVP, HAIP и HIAP и аксиоматизируемые
ими логики Io, VVP, AIP и IAP...8
§1.2 Простая паранормальность логик Io, WP, AIP и IAP...16
§ 1.3 Погружающие отображения, устанавливающие связь логик Io и WP с классической пропозициональной логикой и логик AIP и IAP с интуиционистской пропозициональной логикой. Аналог теоремы В.И.Гливенко, устанавливающий связь логики Io с логикой AIP и логики VVP с логикой IAP...50
Глава 2 Семантический анализ логик 10 и VVP...70
§ 2.1 Семантика обобщённых описаний состояния для логики 10 и
четырёхзначная характеризация этой логики...70
§ 2.2 Семантика квазиописаний состояния для логики WP... 115
§ 2.3 Несуществование конечной характеристической матрицы для логики WP...117
Глава 3 Семантический анализ логик AIP и IAP...121
§ 3.1 Семантика в стиле С.Крипке для логики AIP...121
§ 3.2 Семантика в стиле С.Крипке для логики IAP...154
§ 3.3 Несуществование конечных характеристических матриц для логикА1Ри1АР...160
Заключение...162
Литература...163
