Литература по поекту РГНФ №03-03-12003в (2003-2005 гг.)

1. Основные источники наполнения БД.
2. Публикации в рамках проекта РГНФ №03-03-12003в (2003-2005 гг.).
3. Публикации по проекту, сделанные после 2005 г.
4. Таблица для скачивания файлов.

Основные источники

Сравнение формальных силлогистик

1. Шиян Т.А. Классификация теорий чистой позитивной силлогистики // www.logic.ru, Электронный журнал Logical Studies, №4. 2000.
2. Shiyan T.A. Classification of Syllogistics with Simple Positive Terms // www.logic.ru, Online Journal Logical Studies, №4. 2000.
3. Шиян Т.А. Множество формальных силлогистик с простыми «общими» термами (структурное описание и количественный анализ) // www.logic.ru, Электронный журнал Logical Studies, №8. 2002.
4. Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // www.logic.ru, Электронный журнал Logical Studies, №10. 2003.
5. Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // Логика и В.Е.К. М.: Современные тетради, 2003.
6. Шиян Т.А. Соотношение формальных силлогистик в языке с предикаторами a, e, i // Современная логика: проблемы теории, истории и применения в науке: Материалы VIII Общероссийской научной конференции. 24-26 июня 2004. СПб.: Изд-во СПбГУ, 2004.

Полный список работ Т.А. Шияна по данной теме.

Сравнение импликативных пропозициональных логик

1. Карпенко А.С. Импликативные логики: решетки и конструкции // Логические исследования. Вып. 2 М.: Наука, 1993.
2. Карпенко А.С. Классификация пропозициональных логик // Логические исследования. Вып. 4. М.: Наука, 1997.
3. Карпенко А.С. Булевы каскады импликативных логик // Смирновские чтения. 2 Международная конференция. М.: ИФ РАН, 1999.
   
4. Карпенко А.С. Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения // Логические исследования. Вып. 6. М.: Наука, 1999.
5. Карпенко А.С. Подструктурные логики: гильбертовские исчисления // Смирновские чтения. 3 Международная конференция. М.: ИФ РАН, 2001.

Сравнение модальных логик

Schneider T. A Hierarchy of Modal Logics. 2005. http://www.minet.uni-jena.de/~thschnei/publ/HierarchyMLex.pdf (ссылка 2005 г.).

Публикации в рамках проекта РГНФ №03-03-12003в (2003-2005 гг.)

1. Шиян Т.А. Принципы построения структурных описаний множеств формальных теорий // Смирновские чтения. 4 Международная конференция. М., 2003.
2. Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // www.logic.ru, Электронный журнал Logical Studies, №10.
3. Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // Логика и В.Е.К. М.: Современные тетради, 2003.
4. Шиян Т.А. Соотношение формальных силлогистик в языке с предикаторами a, e, i // Современная логика: проблемы теории, истории и применения в науке: Материалы VIII Общероссийской научной конференции. 24-26 июня 2004. СПб.: Изд-во СПбГУ, 2004.
5. Шиян Т.А. Перевод статьи Блюм А., Малинович С. Формализация фрагмента Первой части "Этики" Спинозы // www.theo.ru. 2005.

• Справочно-информационный комплекс "Силлогистические языки". В комплексе отражены данные о 15 языках формальных силлогистик и 8 классах ППТ этих языков.
• Структурный анализ и классификация формальных силлогистик: языковые аспекты. – Демонстрация выступления на конференции "Ломоносовские чтения 2004" (МГУ, 2004).
• Демонстрация для выступления на VIII Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке" (СПбГУ, 2004).

Публикации, по проекту, сделанные после 2005 г.

1. Теория С2.1 В.А. Смирнова в универсуме формальных силлогистик // Современная логика: проблемы теории, истории и применения в науке: Материалы IX Общероссийской научной конференции. 22-24 июня 2006. СПб.: Изд-во СПбГУ, 2006. С. 402-405. (тезисы, 2006).
2. Моделирование логических знаний и знаниевого вывода средствами СУБД (статья, 2007)

Таблица для скачивания файлов.

№	Название и тип публикации		файл	архив zip
1.	Принципы построения структурных описаний множеств формальных теорий	тезисы, рус. вариант	HTML
2.	Principles of Construction of Structural Descriptions of Formal Theories Sets	thesis, Engl. variant	HTML
3.	Формально-историческое исследование нескольких групп формальных силлогистик	статья
4.	Cправочно-информационный комплекс "Силлогистические языки"	электронный справочник	HTML
5.	Структурный анализ и классификация формальных силлогистик: языковые аспекты	демонстрация
6.	Соотношение формальных силлогистик в языке с предикаторами a, e, i	тезисы
7.	Соотношение формальных силлогистик в языке с предикаторами a, e, i	демонстрация
8.	Формализация фрагмента Первой части "Этики" Спинозы	статья, перевод с английского
9.	Полное описание всех теорий из БД + граф всех теорий + пакет справочных материалов. Версия от 12.12.2005. 81кб.
10.	Теория С2.1 В.А. Смирнова в универсуме формальных силлогистик	тезисы
11.	Моделирование логических знаний и знаниевого вывода средствами СУБД	статья