О
направлении Сравнение формальных теорий. Формальные силлогистики Информационная
система по формальным теориям на theo.ru (2003-2005) Кандидатская
диссертация "Структурные описания множеств формальных теорий (на материале
формальных силлогистик)" (2008). Последние публикации по теме
(2004-2007)
К
вопросу об историко-логической адекватности реконструкции В.А. Смирновым
силлогистических теорий Н.А. Васильева (тезисы, 2007) Теория
С2.1 В.А. Смирнова в универсуме формальных силлогистик (тезисы, 2006) Соотношение
формальных силлогистик в языке с предикаторами a, e, i (тезисы, 2004)Основные результаты по теме
(2002-2003)
Систематизация
и количественный анализ множества формальных силлогистик с простыми "общими"
термами (pdf, 434 kb)
Формально-историческое исследование нескольких групп формальных силлогистик
(статья, 2003)
Толерантность математического мышления и систематизация логических теорий
(статья, pdf, 193 kb)
Структурный анализ и классификация формальных силлогистик: языковые аспекты
(презентация в Power Point) (2003) Принципы
построения структурных описаний множеств формальных теорий (тезисы,
2003)
Множество формальных силлогистик с простыми "общими" термами (структурное
описание и количественный анализ) (статья, 2002)Проработка парадигмы
(2002)
Принципы построения математического структурно-системного описания предмета
современной символической логики (тезисы)
Структурные классификации формальных теорий (тезисы)
О работе по системному математическому описанию предмета современной символической
логики (тезисы)
Методы классификации формальных теорий и множество силлогистик (статья,
pdf, 226 kb)Работы на основе диплома
(2000-2001)
Классификация силлогистических теорий (тезисы, 2001)
Классификация теорий чистой позитивной силлогистики (статья, 2000)
A Classification of Syllogistics with Simple Posittive Terms (статья,
2000)Программные продукты
Информационная
система по формальным теориям на theo.ru (2003-2005)
Моделирование логических знаний и знаниевого вывода средствами СУБД
(о математических и компьютерных моделях, лежащих в основе Информационной
системы по формальным теориям Theo.ru) Справочный комплекс
по языкам формальных силлогистик, работающий в режиме OffLine (2003 г.,
требуется поддержка VRML).
Гостевая книга
taras_a_shiyan@mail.ru