|
- Об ИС по формальным теориям
|
|
- Как работать с системой
|
|
- Алфавиты
|
|
- Классы термов
|
|
- Языки (классы формул)
|
|
- Описания теорий
|
|
- Структурное представление теорий
|
|
- Граф всех теорий (VRML)
|
|
- Интерактивная работа с БД
|
|
- Специальные возможности (поиск, LaTex и др.)
|
|
- Пропозициональные теории
|
|
- Силлогистические теории
|
|
- Силлогистики в языке LSa,e,i (VRML)
|
|
- Чистые негативные силлогистики А.А.Ильина (VRML)
|
|
- Расширения С2 (фрагмент силлогистики Аристотеля) в других языках (VRML)
|
|
- расширенная силлогистика C2.1D [C2.1D] в языке LD1Sa,i (txt)
|
|
- расширенная силлогистика ArC2¯ [ArC2-] в языке LD2S (txt)
|
|
- расширенная силлогистика C2D [C2D] в языке LDS (txt)
|
|
- расширенная силлогистика FCD [FCD] в языке LDS (txt)
|
|
- расширенная силлогистика E1C2.1D [E1C2.1D] в языке LE1D1Sa,i (txt)
|
|
- негативная силлогистика Кэрролла N¹Car [N1Car] в языке LN¹Sa,e,i (txt)
|
|
- негативная силлогистика NAC [NAC] в языке LNS (txt)
|
|
- негативная силлогистика NBC [NBC] в языке LNS (txt)
|
|
- негативная силлогистика NFC [NFC] в языке LNS (txt)
|
|
- негативная силлогистика NKC [NKC] в языке LNS (txt)
|
|
- негативная силлогистика NTC [NTC] в языке LNS (txt)
|
|
- негативная силлогистика Кэрролла NCar [NCar] в языке LNSa,e,i (txt)
|
|
- негативная силлогистика Менна MS [MS] в языке LNSa (txt)
|
|
- негативная силлогистика Шефердсона ShS [ShS] в языке LNSa (txt)
|
|
- негативная силлогистика Ведберга-Томаса ThS [ThS] в языке LNSa (txt)
|
|
- негативная силлогистика Ведберга WS [WS] в языке LNSa (txt)
|
|
- негативная силлогистика Кэрролла на базе логики чисто прямого доказательства LCC1 [LCC1] в языке LNSPncie (txt)
|
|
- негативная сингулярная силлогистика аристотелевского типа CA [CA] в языке LNSsa (txt)
|
|
- негативная сингулярная силлогистика аристотелевского типа CA+ [CA+] в языке LNSsa (txt)
|
|
- негативная сингулярная силлогистика аристотелевского типа NC2sa [NC2sa] в языке LNSsa (txt)
|
|
- негативная сингулярная силлогистика аристотелевского типа NFCsa [NFCsa] в языке LNSsa (txt)
|
|
- негативная сингулярная силлогистика оккамовского типа ФС² [FC-2] в языке LNSso (txt)
|
|
- негативная сингулярная силлогистика оккамовского типа NC2so [NC2so] в языке LNSso (txt)
|
|
- негативная сингулярная силлогистика оккамовского типа NFCso [NFCso] в языке LNSso (txt)
|
|
- негативная сингулярная силлогистика оккамовского типа TS [TS] в языке LNSso (txt)
|
|
- расширенная силогистика с пропозициональными символами ArC2 [ArC2] в языке LPD2S (txt)
|
|
- негативная силлогистика Кэрролла на базе интуиционизма LCC2 [LCC2] в языке LPNS (txt)
|
|
- чистая позитивная силлогистика Больцано БС [BC] в языке LS (txt)
|
|
- силлогистическая теория C [C] в языке LS (txt)
|
|
- чистая позитивная силлогистика C(1) [C(1)] в языке LS (txt)
|
|
- чистая позитивная силлогистика C(2) [C(2)] в языке LS (txt)
|
|
- чистая позитивная силлогистика C(n) [C(n)] в языке LS (txt)
|
|
- силлогистическая теория C0 [C0] в языке LS (txt)
|
|
- силлогистическая теория C0.1 [C0.1] в языке LS (txt)
|
|
- силлогистическая теория C0.2 [C0.2] в языке LS (txt)
|
|
- силлогистическая теория C0.3 [C0.3] в языке LS (txt)
|
|
- силлогистическая теория C0.4 [C0.4] в языке LS (txt)
|
|
- чистая позитивная силлогистика Слупецкого C1 [C1] в языке LS (txt)
|
|
- чистая позитивная силлогистика C1+ [1] [C1+ [1]] в языке LS (txt)
|
|
- чистая позитивная силлогистика C1+ [2] [C1+ [2]] в языке LS (txt)
|
|
- чистая позитивная силлогистика C1.1 [C1.1] в языке LS (txt)
|
|
- чистая позитивная силлогистика C1.2 [C1.2] в языке LS (txt)
|
|
- чистый позитивный фрагмент силлогистики Аристотеля C2 [C2] в языке LS (txt)
|
|
- чистая позитивная силлогистика Смирнова C3 [C3] в языке LS (txt)
|
|
- чистая позитивная силлогистика C3.1 [C3.1] в языке LS (txt)
|
|
- чистая позитивная традиционная силлогистика C4 [C4] в языке LS (txt)
|
|
- чистая позитивная традиционная силлогистика C4.1 [C4.1] в языке LS (txt)
|
|
- чистая позитивная традиционная силлогистика C4.2 [C4.2] в языке LS (txt)
|
|
- чистая позитивная традиционная силлогистика C4.3 [C4.3] в языке LS (txt)
|
|
- чистая позитивная силлогистика C= [C=] в языке LS (txt)
|
|
- силлогистическая теория Сф1 [Cf1] в языке LS (txt)
|
|
- силлогистическая теория Сф2 [Cf2] в языке LS (txt)
|
|
- чистая позитивная фундаментальная силлогистика ФС [FC] в языке LS (txt)
|
|
- чистая позитивная аристотелевская силлогистика ИС2 [IC2] в языке LS (txt)
|
|
- чистая позитивная фундаментальная силлогистика ИФС [IFC] в языке LS (txt)
|
|
- чистая позитивная силлогистика ИС-1 [IS1] в языке LS (txt)
|
|
- чистая позитивная силлогистика ИС-2 [IS2] в языке LS (txt)
|
|
- чистая позитивная силлогистика Льюиса Кэрролла KC [KC] в языке LS (txt)
|
|
- чистая позитивная силлогистика Bc [Bc] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика Bcv [Bcv] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика васильевского типа Bv [Bv] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика C(1)c [C(1)c] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика C(1)v [C(1)v] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика C2cv [C2cv] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика васильевского типа C2v [C2v] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика C4c [C4c] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика васильевского типа C4v [C4v] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика Car [Car] в языке LSa,e,i (txt)
|
|
- противоречивая теория C_|_a,e,i [C_|_a,e,i] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика Fc [Fc] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика Fcv [Fcv] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика васильевского типа Fv [Fv] в языке LSa,e,i (txt)
|
|
- чистая позитивная силлогистика BCa,e [BCa,e] в языке LSa,e (txt)
|
|
- чистая позитивная силлогистика C2a,e [C2a,e] в языке LSa,e (txt)
|
|
- чистая позитивная силлогистика C4a,e [C4a,e] в языке LSa,e (txt)
|
|
- чистая позитивная силлогистика FCa,e [FCa,e] в языке LSa,e (txt)
|
|
- фрагмент силлогистики Слупецкого C1a,i [C1a,i] в языке LSa,i (txt)
|
|
- теория в языке чистой позитивной силлогистики C2.1 [C2.1] в языке LSa,i (txt)
|
|
- фрагмент силлогистики С3.1 C3.1a,i [C3.1a,i] в языке LSa,i (txt)
|
|
- фрагмент силлогистики Смирнова С3 C3a,i [C3a,i] в языке LSa,i (txt)
|
|
- фрагмент традиционной силлогистики C4a,i [C4a,i] в языке LSa,i (txt)
|
|
- фрагмент фундаментальной силлогистики FCa,i [FCa,i] в языке LSa,i (txt)
|
|
- теория связки a Sa(1) [Sa(1)] в языке LSa (txt)
|
|
- теория связки a Sa(2) [Sa(2)] в языке LSa (txt)
|
|
- теория связки a Sa1 [Sa1] в языке LSa (txt)
|
|
- теория связки a Sa2 [Sa2] в языке LSa (txt)
|
|
- теория связки a Sa3 [Sa3] в языке LSa (txt)
|
|
- теория связки a Sa4 [Sa4] в языке LSa (txt)
|
|
- теория связки a Sa5 [Sa5] в языке LSa (txt)
|
|
- теория связки a Sa6 [Sa6] в языке LSa (txt)
|
|
- элементарная бескванторная онтология Лесневского Sl [Sl] в языке LSl (txt)
|
|
- чистая позитивная силлогистика со связкой Лесневского FSl [FSl] в языке LSla,i (txt)
|
|
- сингулярная силлогистика аристотелевского типа C2sa [C2sa] в языке LSsa (txt)
|
|
- сингулярная силлогистика аристотелевского типа FCsa [FCsa] в языке LSsa (txt)
|
|
- сингулярная силлогистика оккамовского типа C2so [C2so] в языке LSso (txt)
|
|
- сингулярная силлогистика оккамовского типа FCso [FCso] в языке LSso (txt)
|
|
- обобщенная силлогистика U1FC [U1FC] в языке LU1S (txt)
|
|
- обобщенная силлогистика U2FC [U2FC] в языке LU2S (txt)
|
|
- обобщенная силлогистика UC4 [UC4] в языке LU2S (txt)
|
|
- обобщенная силлогистика FU [FU] в языке LU2Sa,o (txt)
|
|
- обобщенная силлогистика U4 [U4] в языке LU2Sa,o (txt)
|
|
- силлогистика Больцано васильевского типа BV [BV] в языке LVS (txt)
|
|
- аристотелевская силлогистика васильевского типа C2V [C2V] в языке LVS (txt)
|
|
- традиционная силлогистика васильевского типа C4V [C4V] в языке LVS (txt)
|
|
- фундаментальная силлогистика васильевского типа FV [FV] в языке LVS (txt)
|
|
- Алгебраические теории
|
|
- Кванторные теории
|
|
- Классификации теорий
|
|
- Дедукция
|
|
- Теоретическая справка
|
|
- Справка по сайту
|
|