Диадические семантики для С1 и СЗ формальной.
Main Article Content
Abstract
В.А. Смирновым в [1] построен ряд силлогистических систем.
Downloads
Download data is not yet available.
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.