|
- Об ИС по формальным теориям
|
|
- Как работать с системой
|
|
- Алфавиты
|
|
- Граф алфавитов (VRML)
|
|
- Интерактивная работа с БД
|
|
- Пропозициональные алфавиты
|
|
- Силлогистические алфавиты
|
|
- Граф силлогистических алфавитов (VRML)
|
|
- алфавит расширенной силлогистики AD1Sa,i [AD1Sa,i] (txt)
|
|
- алфавит расширенной силлогистики AD2S [AD2S] (txt)
|
|
- алфавит расширенной силлогистики ADS [ADS] (txt)
|
|
- алфавит расширенной силлогистики с равенством AE1D1Sa,i [AE1D1Sa,i] (txt)
|
|
- алфавит силлогистики ANS [ANS] (txt)
|
|
- алфавит силлогистики ANSa [ANSa] (txt)
|
|
- алфавит силлогистики ANSa,e,i [ANSa,e,i] (txt)
|
|
- алфавит негативной сингулярной силлогистики ANSsa [ANSsa] (txt)
|
|
- алфавит негативной сингулярной силлогистики ANSso [ANSso] (txt)
|
|
- алфавит расширенной силлогистики с пропозициональными символами APD2S [APD2S] (txt)
|
|
- алфавит негативной силлогистики с пропозициональными символами APNS [APNS] (txt)
|
|
- алфавит негативной силлогистики с пропозициональными символами APNSncie [APNS ncie] (txt)
|
|
- алфавит силлогистики AS [AS] (txt)
|
|
- алфавит силлогистики ASa [ASa] (txt)
|
|
- алфавит силлогистики ASa,e [ASa,e] (txt)
|
|
- алфавит силлогистики ASa,e,i [ASa,e,i] (txt)
|
|
- алфавит силлогистики ASa,i [ASa,i] (txt)
|
|
- алфавит силлогистики со связкой Лесневского ASla,i [ASl_a,i] (txt)
|
|
- алфавит сингулярной силлогистики ASsa [ASsa] (txt)
|
|
- алфавит бескванторной онтологии Лесневского ASsl [ASsl] (txt)
|
|
- алфавит сингулярной силлогистики ASso [ASso] (txt)
|
|
- алфавит обобщенной силлогистики AU1S [AU1S] (txt)
|
|
- алфавит обобщенной силлогистики AU2S [AU2S] (txt)
|
|
- алфавит обобщенной силлогистики AU2S¯ [AU2S-] (txt)
|
|
- алфавит силлогистик васильевского типа AVS [AVS] (txt)
|
|
- Включение алфавитов друг в друга (таблица)
|
|
- Алгебраические алфавиты
|
|
- Алфавиты кванторных теорий
|
|
- Классы термов
|
|
- Языки (классы формул)
|
|
- Описания теорий
|
|
- Классификации теорий
|
|
- Дедукция
|
|
- Теоретическая справка
|
|
- Справка по сайту
|
|