Введение
Глава 1 Простые паранормальные логики I0, WP, AIP и IAP ...8
1.1 Исчисления HIo, HVVP, HAIP и HIAP и аксиоматизируемые ими логики I0, WP, AIP и IAP 8
1.2 Простая паранормальность логик I0, WP, AIP и IAP 16
1.3 Погружающие отображения, устанавливающие связь логик 1о и WP с классической пропозициональной логикой и логик AIP и IAP с интуиционистской пропозициональной логикой. Аналог теоремы В.И.Гливенко, устанавливающий связь логики 1о с логикой 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 Несуществование конечных характеристических матриц для логикАІРиІАР 160
Заключение 162
Литература 163
