Формально-историческое исследование нескольких групп формальных силлогистик

Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // Электронный журнал Logical Studies. №10 (2003). www.logic.ru.
Шиян Т.А. Формально-историческое исследование нескольких групп формальных силлогистик // Логика и В.Е.К. К 90-летию профессора Войшвилло Евгения Казимировича. М.: Изд-во "Современные тетради", 2003.

Аннотация. Работа продолжает серию формально-исторических исследований формальных теорий, описанных в русскоязычной научной литературе (см. статьи этого же автора в №4 и №8 Электронного журнала Logical Studies: www.logic.ru.). В данной статье автор исследует отношения (по множеству теорем) между 37 формальными силлогистиками, сформулированными в 13 различных формальных языках. Результаты исследования представлены в виде графов (диаграмм Хассе).

Статья на русском в PDF (266 kb).


© Шиян Т.А., 2003.