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


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

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

  •  Алфавиты

  •  Граф алфавитов (VRML)

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

  •  Пропозициональные алфавиты

  •  Силлогистические алфавиты

  •  Граф силлогистических алфавитов (VRML)

  •  алфавит расширенной силлогистики AD1Sa,i [AD1Sa,i] (txt)

  •  алфавит расширенной силлогистики AD2S [AD2S] (txt)

  •  алфавит расширенной силлогистики ADS [ADS] (txt)

  •  алфавит расширенной силлогистики с равенством AE1D1Sa,i [AE1D1Sa,i] (txt)

  •  алфавит силлогистики ANS [ANS] (txt)

  •  алфавит силлогистики ANSa [ANSa] (txt)

  •  алфавит силлогистики ANSa,e,i [ANSa,e,i] (txt)

  •  алфавит негативной сингулярной силлогистики ANSsa [ANSsa] (txt)

  •  алфавит негативной сингулярной силлогистики ANSso [ANSso] (txt)

  •  алфавит расширенной силлогистики с пропозициональными символами APD2S [APD2S] (txt)

  •  алфавит негативной силлогистики с пропозициональными символами APNS [APNS] (txt)

  •  алфавит негативной силлогистики с пропозициональными символами APNSncie [APNS ncie] (txt)

  •  алфавит силлогистики AS [AS] (txt)

  •  алфавит силлогистики ASa [ASa] (txt)

  •  алфавит силлогистики ASa,e [ASa,e] (txt)

  •  алфавит силлогистики ASa,e,i [ASa,e,i] (txt)

  •  алфавит силлогистики ASa,i [ASa,i] (txt)

  •  алфавит силлогистики со связкой Лесневского ASla,i [ASl_a,i] (txt)

  •  алфавит сингулярной силлогистики ASsa [ASsa] (txt)

  •  алфавит бескванторной онтологии Лесневского ASsl [ASsl] (txt)

  •  алфавит сингулярной силлогистики ASso [ASso] (txt)

  •  алфавит обобщенной силлогистики AU1S [AU1S] (txt)

  •  алфавит обобщенной силлогистики AU2S [AU2S] (txt)

  •  алфавит обобщенной силлогистики AU2S¯ [AU2S-] (txt)

  •  алфавит силлогистик васильевского типа AVS [AVS] (txt)

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

  •  Алгебраические алфавиты

  •  Алфавиты кванторных теорий

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

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

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

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

  •  Дедукция

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

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