Диадические семантики для С1 и СЗ формальной.

##plugins.themes.bootstrap3.article.main##

V.M. Popov
I.I. Khorokhorin

Abstract

В.А. Смирновым в [1] построен ряд силлогистических систем.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Смирное ВА. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев, 1980.
Мчедлишвили Л.И. Позитивная ассерторическая силлогистика и логика одноместных предикатов // Логика и системные методы анализа научного знания. М., 1986.
Попов В.М., Хорохорин ИИ. Диадические семантики в силлогистике // XI Международная конференция: Логика, методология, философия науки, II. Москва - Обнинск, 1995.