Диадические семантики для С1 и СЗ формальной.
##plugins.themes.bootstrap3.article.main##
Abstract
В.А. Смирновым в [1] построен ряд силлогистических систем.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Popov V., Khorokhorin I. Диадические семантики для С1 и СЗ формальной. // Logicheskie Issledovaniya / Logical Investigations. 1997. VOL. 4. C. 134-136.
Issue
Section
Papers
References
Смирное ВА. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев, 1980.
Мчедлишвили Л.И. Позитивная ассерторическая силлогистика и логика одноместных предикатов // Логика и системные методы анализа научного знания. М., 1986.
Попов В.М., Хорохорин ИИ. Диадические семантики в силлогистике // XI Международная конференция: Логика, методология, философия науки, II. Москва - Обнинск, 1995.
Мчедлишвили Л.И. Позитивная ассерторическая силлогистика и логика одноместных предикатов // Логика и системные методы анализа научного знания. М., 1986.
Попов В.М., Хорохорин ИИ. Диадические семантики в силлогистике // XI Международная конференция: Логика, методология, философия науки, II. Москва - Обнинск, 1995.