| Основные разделы меню |
Разделы второго уровня |
Содержание и краткое описание пунктов меню |
| |
|
| Алфавиты |
 Граф
всех алфавитов из БД |
VRML-граф всех алфавитов из БД |
 Интерактивная
работа с описаниями алфавитов и синтезом их VRML-графов |
Форма для формирования запроса к БД об алфавитах |
| Пропозициональные алфавиты |
VRML-граф
пропозициональных алфавитов |
Список пропозициональных алфавитов из БД |
| Таблица включения
алфавитов друг в друга |
| Бескванторные силлогистические алфавиты |
VRML-граф
силлогистических алфавитов |
|
Список силлогистических алфавитов из БД |
| Таблица включения
алфавитов друг в друга |
| Бескванторные алгебраические алфавиты |
VRML-граф
алгебраических алфавитов |
|
Список алгебраических алфавитов из БД |
| Таблица включения
алфавитов друг в друга |
| Алфавиты кванторных теорий |
VRML-граф
кванторных алфавитов |
|
Список кванторных алфавитов из БД |
| Классы термов |
Граф
всех классов термов из БД |
VRML-граф всех классов термов из БД |
| Интерактивная
работа с описаниями классов термов и синтезом их VRML-графов |
Форма для формирования запроса к БД о классах термов |
| Список термов |
Список классов термов из БД |
| Таблица включения
классов термов друг в друга |
| Языки |
Структурное
представление языков |
Форма для выбора языка и его представления в виде иерархического
графа объектов |
| Граф
всех языков из БД |
VRML-граф всех языков из БД |
| Интерактивная
работа с описаниями языков (классов ППФ) и синтезом их VRML-графов |
Форма для формирования запроса к БД о языках |
| Пропозициональные языки |
VRML-граф
пропозициональных языков |
|
Список пропозициональных языков из БД |
| Таблица включения
классов термов друг в друга |
| Бескванторные силлогистические языки |
VRML-граф
силлогистических языков |
|
Список силлогистических языков из БД |
| Таблица включения
языков друг в друга |
| Бескванторные алгебраические языки |
VRML-граф
алгебраических языков |
|
Список алгебраических языков из БД |
| Таблица включения
классов термов друг в друга |
| Языки кванторных теорий |
VRML-граф
кванторных языков |
|
Список кванторных языков из БД |
| Классификация языков по классу термов (VRML-графы) |
Список групп языков с одним и тем же классом ППТ. Пункты меню служат ссылками
на VRML-графы этих групп. |
| Описания теорий |
Структурное
представление теорий |
Форма для выбора теории и ее представления в виде иерархического
графа объектов |
| Граф
всех теорий из БД |
VRML-граф всех теорий из БД |
| Интерактивная
работа с описаниями теорий и синтезом их VRML-графов |
Форма для формирования запроса к БД о теориях |
| Специальные возможности (поиск, LaTex и т.п.) |
Поиск подтеорий и расширений теорий |
|
Поиск ближайших теорий |
|
Поиск альтернативных имен теорий |
| Поиск
библиографии по формальным теориям |
|
Форма для выбора теории и генерации на основе данных из БД статьи в LaTeX
про выбранную теорию |
| Пропозициональные теории |
VRML-граф
различных формализаций, фрагментов и расширений классической логики высказываний |
| VRML-граф
импликативных пропозициональные логики (по А.С.Карпенко) |
| VRML-граф
"нормальных" модальных логик |
|
Список пропозициональных теорий из БД |
| Бескванторные силлогистические теории |
VRML-граф
силлогистик в языке LSa,e,i и их подтеории |
| VRML-граф
чистых негативных силлогистик А.А.Ильина |
| VRML-граф
расширений С2 в других языках |
|
Список силлогистических теорий из БД |
| Бескванторные алгебраические теории |
VRML-граф
алгебраических теорий из БД |
|
Список алгебраических теорий из БД |
| Кванторные теории |
VRML-граф
кванторных теорий из БД |
|
Список кванторных теорий из БД |
| Классификации теорий |
Граф
всех теорий из БД |
VRML-граф всех теорий из БД |
| Классификация теорий по языку |
Список классов эквивалентности теорий по языку. Пункты меню служат гиперссылками
на VRML-графы, представляющие соотношение теорий по дедуктивной силе внутри
каждой группы |
| Классификация теорий по классу термов |
Список классов эквивалентности теорий по классу термов. Пункты меню служат
гиперссылками на VRML-графы, представляющие соотношение теорий по дедуктивной
силе внутри каждой группы |
| Некоторые классы индуктивной взаимопогружаемости |
Гипотетическое соотношение классов взаимопогружаемости CS, TS, Eq, BA и
US1 |
|
Соотношение по дeдуктивной силе теорий класса CS (классическая силлогистика) |
|
Соотношение по дeдуктивной силе теорий класса TS (традиционная силлогистика) |
|
Соотношение по дeдуктивной силе теорий класса Eq (бескванторная теория равенства) |
|
Соотношение по дeдуктивной силе теорий класса US1 (обобщенная силлогистика
1) |
|
Соотношение по дeдуктивной силе теорий класса BA (бескванторная булева алгебра) |
| Дедукция |
Поиск формул, доказуемых в выбранной теории |
Форма для выбора теорий и поиска доказуемых в нихъ формул |
|
Схемы аксиом с описанием и поиск теорий, в которых доказуема выбранная формула |
Список схем формул, использованных в БД для аксиоматического
определения теорий, их интерпретация (для некоторых формул) и поиск теорий,
в которых доказуема выбранная формула |
|
Поиск подтеорий и расширений теорий |
Спискок теорий из БД и поиск для выбранной теории всех ее
подтеорий и расширений (из БД) с возможностью просмотра их множеств в виде
VRML-графа |
|
Поиск ближайших теорий |
Спискок теорий из БД и поиск для выбранной теории всех (из
БД) ее "ближайших" подтеорий и расширений относительно порядка
по дедуктивной силе (включения по множеству теорем) |
| Теоретическая справка |
Метаязык описания теорий |
Использованные в БД обозначения при описании классов термов,
языков и теорий |
| Интерпретация символов
алфавитов из БД |
Список символов алфавитов из БД (кроме алфавита реконструкции
Спинозы) с их содержательной интерпретацией |
| Принципы построения индексов алфавитов,
классов термов, языков и теорий в базе данных |
Принципы построения в базе данных индексов и других обозначений для алфавитов,
классов термов, языков и теорий |
| Моделирование
логических знаний и знаниевого вывода средствами СУБД (статья, 2007) |
Список основных источников, использованных при наполнении
БД; Список публикаций по гранту; Список более поздних публикаций; Таблица
для скачивания файлов. |
| Литература по проекту |
Список основных источников, использованных при наполнении
БД; Список публикаций по гранту; Список более поздних публикаций; Таблица
для скачивания файлов. |
Не решенные проблемы |
Описание задач, вставших при построении ИС и пока не решенных |
| Справка по сайту |
Титульная страница |
Ссылка на первую страницу сайта |
| Что такое "Информационная
система по формальным теориям Theo.ru"? |
|
| Требования к программному обеспечению |
|
 Как
работать с системой |
Краткое описание возможных способов работы с нашим информационно-справочным
комплексом и доступных сервисов |
 Карта
сайта |
Ссылка на настоящую страничку |
| Последние обновления |
Список основных обновлений сайта с марта 2008 |
| Планируемые обновления |
Планы дальнейшего развития и обновления сайта |
| История создания
и обновлений системы (2003-2005) |
История создания системы и ее обновлений с 2003 по январь
2006 |
| История создания и обновлений
объединенной системы (2008) |
История системы и ее обновления с марта по ноябрь 2008 |
| О создателях системы |
О создателях системы. Контактная информация |
| |
|
|