Публикации с сылкой на поддержку грантом РГНФ №03-03-12003в

  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.


Указанные материалы можно скачать ниже.

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