Информационная система по формальным теориям


  •  Об ИС по формальным теориям

  •  Как работать с системой

  •  Алфавиты

  •  Классы термов

  •  Языки (классы формул)

  •  Структурное представление языков

  •  Граф языков (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-графы)

  •  Описания теорий

  •  Классификации теорий

  •  Дедукция

  •  Теоретическая справка

  •  Справка по сайту