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


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

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

  •  Алфавиты

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

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

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

  •  Граф языков (VRML)

  •  Интерактивная работа с БД

  •  Пропозициональные языки

  •  Граф пропозициональных языков (VRML)

  •  язык пропозициональной логики LP [LP] (txt)

  •  язык пропозициональной логики LP+tf [LP+tf] (txt)

  •  язык пропозициональной логики LPf [LPfi] (txt)

  •  язык пропозициональной логики LP [LPi] (txt)

  •  язык пропозициональной модальной логики LPM [LPM] (txt)

  •  язык пропозициональной логики LPncie [LPncie] (txt)

  •  Включение языков друг вдруга (таблица)

  •  Силлогистические языки

  •  Алгебраические языки

  •  Языки кванторных теорий

  •  Классификация языков по классу термов (VRML-графы)

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

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

  •  Дедукция

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

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