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

  •  Об ИС по формальным теориям
  •  Как работать с системой
  •  Алфавиты
  •  Классы термов
  •  Языки (классы формул)
  •  Описания теорий
  •  Классификации теорий
  •  Граф всех теорий (VRML)
  •  Классификация теорий по языку (VRML-графы)
  •  Классификация теорий по классу термов (VRML-графы)
  •  Некоторые классы индуктивной взаимопогружаемости
  •  Гипотетическое соотношение классов взаимопогружаемости Eq, TS, CS, US1 и BA
  •  Соотношение по дeдуктивной силе теорий класса CS (классическая силлогистика)
  •  Соотношение по дeдуктивной силе теорий класса TS (традиционная силлогистика)
  •  Соотношение по дeдуктивной силе теорий класса Eq (бескванторная теория равенства)
  •  Соотношение по дeдуктивной силе теорий класса US1 (обобщенная силлогистика 1)
  •  Соотношение по дeдуктивной силе теорий класса BA (бескванторная булева алгебра)
  •  Дедукция
  •  Теоретическая справка
  •  Справка по сайту