Кандидатская диссертация
(МГУ, 2008)
Структурные описания множеств формальных теорий (на материале формальных силлогистик) (кандидатская диссертация, 2008) Структурные описания множеств формальных теорий (на материале формальных силлогистик) (автореферат кандидатской диссертации, 2008)Последние публикации по теме
(2004-2007, 2015)
О выделении и сравнении теорий в языке с одной связкой или одним предикатором (на примере теорий одной силлогистической связки) (тезисы, 2015) К
вопросу об историко-логической адекватности реконструкции В.А. Смирновым
силлогистических теорий Н.А. Васильева (тезисы, 2007) Теория
С2.1 В.А. Смирнова в универсуме формальных силлогистик (тезисы, 2006) Соотношение
формальных силлогистик в языке с предикаторами a, e, i (тезисы, 2004)Основные результаты по теме
(2002-2003)
Систематизация
и количественный анализ множества формальных силлогистик с простыми "общими"
термами (статья)
Формально-историческое исследование нескольких групп формальных силлогистик
(статья, 2003)
Толерантность математического мышления и систематизация логических теорий
(статья)
Структурный анализ и классификация формальных силлогистик: языковые аспекты
(презентация в 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