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


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

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

  •  Алфавиты

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

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

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

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

  •  Граф всех теорий (VRML)

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

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

  •  Некоторые классы индуктивной взаимопогружаемости

  •  Гипотетическое соотношение классов взаимопогружаемости Eq, TS, CS, US1 и BA

  •  Соотношение по дeдуктивной силе теорий класса CS (классическая силлогистика)

  •  Соотношение по дeдуктивной силе теорий класса TS (традиционная силлогистика)

  •  Соотношение по дeдуктивной силе теорий класса Eq (бескванторная теория равенства)

  •  Соотношение по дeдуктивной силе теорий класса US1 (обобщенная силлогистика 1)

  •  Соотношение по дeдуктивной силе теорий класса BA (бескванторная булева алгебра)

  •  Дедукция

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

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