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

Т.А. Шиян
Формально-историческое исследование нескольких групп формальных силлогистик
Данная работа продолжает серию формально-исторических исследований, посвященных анализу описанных в русскоязычной литературе формальных силлогистик (см. статьи автора в No.4 и No.8 этого журнала). В данной статье рассматривается соотношение по множеству теорем 37 формальных теорий, сформулированных в 13 различных языках. Результаты сравнения представлены в виде нескольких графов (диаграмм Хассе).

по-русски