|
Статья Т.А. Шияна, посвященные теоретическому описанию
принципов работы ИС Theo.ru.
|
|
Моделирование
логических знаний и знаниевого вывода средствами СУБД (статья, 2007)
|
|
|
Далее помещены ссылки на работы Т.А. Шияна, посвященная
методологии сравнения формальных теорий и исследованию групп формальных
силлогистик, использованные при разработке ИС Theo.ru.
|
|
|
Последние публикации по теме (2004-2006)
|
|
|
Теория
С2.1 В.А. Смирнова в универсуме формальных силлогистик (тезисы выступления
на IX конференции "Современная логика: проблемы теории, истории и применения
в науке" в СПбГУ, 2006) || PDF, 116 kb
|
|
|
Теория
С2.1 В.А. Смирнова в универсуме формальных силлогистик (PPS-презентация
, 2006). || Есть
архив ZIP (С VRML-графами)
|
|
|
Соотношение
формальных силлогистик в языке с предикаторами a, e, i (тезисы выступления
на VIII конференции "Современная логика: проблемы теории, истории и применения
в науке" в СПбГУ, 2004) || PDF, 145 kb
|
|
|
Соотношение
формальных силлогистик в языке с предикаторами a, e, i (PPS-презентация,
2004). || Есть
архив ZIP (С VRML-графами)
|
|
|
Исследование языков формальных силлогистик (2003-2004)
|
|
|
Структурный
анализ и классификация формальных силлогистик: языковые аспекты (PPS-презентация
выступления на Ломоносовских чтениях 2004)
|
|
|
Cправочно-информационный
комплекс "Силлогистические языки". (Версия от 8.10.2003.) ||
Архив ZIP.
|
|
|
Основные результаты по теме (2002-2003)
|
|
|
Систематизация
и количественный анализ множества формальных силлогистик с простыми "общими"
термами (статья) || PDF, 434 kb
|
|
|
Формально-историческое
исследование нескольких групп формальных силлогистик (статья, 2003)
|
|
|
Толерантность
математического мышления и систематизация логических теорий
(статья) || PDF, 193 kb
|
|
|
Структурный
анализ и классификация формальных силлогистик: языковые аспекты (презентация
в Power Point, 2003) || PPS, 91 kb
|
|
|
Принципы
построения структурных описаний множеств формальных теорий (тезисы,
2003)
|
|
|
Множество
формальных силлогистик с простыми "общими" термами (структурное
описание и количественный анализ) (статья, 2002)
|
|
|
Проработка парадигмы (2002)
|
|
|
Принципы
построения математического структурно-системного описания предмета современной
символической логики (тезисы)
|
|
|
Структурные
классификации формальных теорий (тезисы) || PDF, 119 kb
|
|
|
О
работе по системному математическому описанию предмета современной символической
логики (тезисы)
|
|
|
Методы
классификации формальных теорий и множество силлогистик (статья) ||
PDF, 226 kb
|
|
|
Ранние работы (2000-2001)
|
|
|
Классификация
силлогистических теорий (тезисы, 2001) || PDF, 109 kb
|
|
|
Классификаmainция
теорий чистой позитивной силлогистики (статья, 2000)
|
|
|
A
Classification of Syllogistics with Simple Posittive Terms (статья,
2000)
|
|
|
Итоги исследования (2008)
|
|
|
Структурные
описания множеств формальных теорий (на материале формальных силлогистик)
(кандидатская диссертация, 2008)
|