Информационная система по формальным теориям
Об ИС по формальным теориям
Как работать с системой
Алфавиты
Классы термов
Языки (классы формул)
Структурное представление языков
Граф языков (VRML)
Интерактивная работа с БД
Пропозициональные языки
Силлогистические языки
Алгебраические языки
Языки кванторных теорий
Граф кванторных языков (VRML)
язык формализации Этики Спинозы LBM [LBM] (txt)
язык кванторной теории равенства LQE
1
[LQE1] (txt)
язык кванторной теории строгого порядка с равенством LQE
1
Ords [LQE1Ords] (txt)
язык кванторной теории строгого порядка LQOrds [LQOrds] (txt)
язык логики предикатов LQPr [LQPr] (txt)
Классификация языков по классу термов (VRML-графы)
Описания теорий
Классификации теорий
Дедукция
Теоретическая справка
Справка по сайту