|
- Об ИС по формальным теориям
|
|
- Как работать с системой
|
|
- Алфавиты
|
|
- Классы термов
|
|
- Языки (классы формул)
|
|
- Структурное представление языков
|
|
- Граф языков (VRML)
|
|
- Интерактивная работа с БД
|
|
- Пропозициональные языки
|
|
- Силлогистические языки
|
|
- Граф силлогистических языков (VRML)
|
|
- язык расширенной силлогистики LD1Sa,i [LD1Sa,i] (txt)
|
|
- язык расширенной силлогистики LD2S [LD2S] (txt)
|
|
- язык расширенной силлогистики LDS [LDS] (txt)
|
|
- язык расширенной силлогистики с равенством LE1D1Sa,i [LE1D1Sa,i] (txt)
|
|
- язык первопорядковой негативной силлогистики LN¹Sa,e,i [LN1Sa,e,i] (txt)
|
|
- язык негативной силлогистики LNS [LNS] (txt)
|
|
- язык негативной силлогистики LNSa [LNSa] (txt)
|
|
- язык негативной силлогистики LNSa,e,i [LNSa,e,i] (txt)
|
|
- язык негативной силлогистики LNSPncie [LNSPncie] (txt)
|
|
- язык негативной сингулярной силлогистики аристотелевского типа LNSsa [LNSsa] (txt)
|
|
- язык негативной сингулярной силлогистики оккамовского типа LNSso [LNSso] (txt)
|
|
- язык расширенной силлогистики LPD2S [LPD2S] (txt)
|
|
- язык негативной силлогистики LPNS [LPNS] (txt)
|
|
- язык чистой позитивной силлогистики LS [LS] (txt)
|
|
- язык чистой позитивной силлогистики LSa [LSa] (txt)
|
|
- язык чистой позитивной силлогистики LSa,e [LSa,e] (txt)
|
|
- язык чистой позитивной силлогистики LSa,e,i [LSa,e,i] (txt)
|
|
- язык чистой позитивной силлогистики LSa,i [LSa,i] (txt)
|
|
- язык элементарной бескванторной онтологии LSl [LSl] (txt)
|
|
- язык силлогистики со связкой Лесневского LSla,i [LSl_a,i] (txt)
|
|
- язык сингулярной силлогистики аристотелевского типа LSsa [LSsa] (txt)
|
|
- язык сингулярной силлогистики оккамовского типа LSso [LSso] (txt)
|
|
- язык обобщенной силлогистики LU1S [LU1S] (txt)
|
|
- язык обобщенной силлогистики LU2S [LU2S] (txt)
|
|
- язык обобщенной силлогистики LU2Sa,o [LU2Sa,o] (txt)
|
|
- язык силлогистик васильевского типа LVS [LVS] (txt)
|
|
- Включение языков друг вдруга (таблица)
|
|
- Алгебраические языки
|
|
- Языки кванторных теорий
|
|
- Классификация языков по классу термов (VRML-графы)
|
|
- Описания теорий
|
|
- Классификации теорий
|
|
- Дедукция
|
|
- Теоретическая справка
|
|
- Справка по сайту
|
|