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


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

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

  •  Алфавиты

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

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

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

  •  Структурное представление теорий

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

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

  •  Специальные возможности (поиск, LaTex и др.)

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

  •  Формализации, фрагменты и расширения классической логики высказываний (VRML)

  •  Импликативные пропозициональные логики (по А.С.Карпенко) (VRML)

  •  Нормальные модальные логики (VRML)

  •  интуиционистская логика H [H] в языке LP (txt)

  •  классическая логика высказываний TV [TV] в языке LP (txt)

  •  формулировка классической логики TV+tf [TV+tf] в языке LP+tf (txt)

  •  импликативная логика BC1I [BC1I] в языке LP (txt)

  •  импликативная логика BCK [BCK] в языке LP (txt)

  •  импликативный фрагмент E E [Ei] в языке LP (txt)

  •  импликативный фрагмент интуиционистской логики H [Hi] в языке LP (txt)

  •  импликативный фрагмент линейной логики Жирара HL [HLi] в языке LP (txt)

  •  импликативный фрагмент бесконечнозначной логики Лукасевича L [Lwi] в языке LP (txt)

  •  импликативный фрагмент R, слабая позитивная импликация Черча R [Ri] в языке LP (txt)

  •  импликативный фрагмент RM RM [RMi] в языке LP (txt)

  •  импликативный фрагмент S4 Льюиса S4 [S4i] в языке LP (txt)

  •  импликативный фрагмент S5 Льюиса S5 [S5i] в языке LP (txt)

  •  импликативный фрагмент классической логики высказываний TV [TVi] в языке LP (txt)

  •  логика интуиционистской импликации с константой f Hf [Hfi] в языке LPf (txt)

  •  импликативный вариант бесконечнозначной логики Лукасевича Lf [Lwfi] в языке LPf (txt)

  •  импликативный фрагмент RM в языке с константой f RMf [RMfi] в языке LPf (txt)

  •  импликативный вариант КЛВ TVf [TVfi] в языке LPf (txt)

  •  пропозициональная логика чисто прямого доказательства THcie+ [THcie+] в языке LPncie (txt)

  •  классическая логика высказываний TVncie [TVncie] в языке LPncie (txt)

  •  нормальная модальная логика Br [Br] в языке LPM (txt)

  •  нормальная модальная логика D [D] в языке LPM (txt)

  •  нормальная модальная логика D4 [D4] в языке LPM (txt)

  •  нормальная модальная логика D4.3 [D4.3] в языке LPM (txt)

  •  нормальная модальная логика D4.5 [D4.5] в языке LPM (txt)

  •  нормальная модальная логика D5 [D5] в языке LPM (txt)

  •  нормальная модальная логика DB [DB] в языке LPM (txt)

  •  нормальная модальная логика K [K] в языке LPM (txt)

  •  нормальная модальная логика K4 [K4] в языке LPM (txt)

  •  нормальная модальная логика K4.2 [K4.2] в языке LPM (txt)

  •  нормальная модальная логика K4.3 [K4.3] в языке LPM (txt)

  •  нормальная модальная логика K4.5 [K4.5] в языке LPM (txt)

  •  нормальная модальная логика K4B [K4B] в языке LPM (txt)

  •  нормальная модальная логика K5 [K5] в языке LPM (txt)

  •  нормальная модальная логика KB [KB] в языке LPM (txt)

  •  нормальная модальная логика KB5 [KB5] в языке LPM (txt)

  •  нормальная модальная логика S4 [S4] в языке LPM (txt)

  •  нормальная модальная логика S4.2 [S4.2] в языке LPM (txt)

  •  нормальная модальная логика S4.3 [S4.3] в языке LPM (txt)

  •  нормальная модальная логика S5 [S5] в языке LPM (txt)

  •  нормальная модальная логика T [T] в языке LPM (txt)

  •  нормальная модальная логика Tc [Tc] в языке LPM (txt)

  •  нормальная модальная логика Triv [Triv] в языке LPM (txt)

  •  нормальная модальная логика Ver [Ver] в языке LPM (txt)

  •  Силлогистические теории

  •  Алгебраические теории

  •  Кванторные теории

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

  •  Дедукция

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

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