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

  •  Об ИС по формальным теориям
  •  Как работать с системой
  •  Алфавиты
  •  Классы термов
  •  Языки (классы формул)
  •  Описания теорий
  •  Структурное представление теорий
  •  Граф всех теорий (VRML)
  •  Интерактивная работа с БД
  •  Специальные возможности (поиск, LaTex и др.)
  •  Пропозициональные теории
  •  Силлогистические теории
  •  Алгебраические теории
  •  Кванторные теории
  •  Граф кванторных теорий (VRML)
  •  формализация фрагмента Этики Спинозы BM [BM] в языке LBM (txt)
  •  кванторная теория равенства QE1 [QE1] в языке LQE1 (txt)
  •  кванторная теория строгого порядка с равенством QE1Ords [QE1Ords] в языке LQE1Ords (txt)
  •  кванторная теория строгого порядка QOrds [QOrds] в языке LQOrds (txt)
  •  классическая логика предикатов первого порядка QTV [QTV] в языке LQPr (txt)
  •  Классификации теорий
  •  Дедукция
  •  Теоретическая справка
  •  Справка по сайту