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

Article Sidebar

PDF
Опубликован: 01.07.1997
DOI: https://doi.org/10.21146/2074-1472-1997-4-0-134-136

Main Article Content

В.М. Попов
И.И. Хорохорин

Аннотация

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

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Попов В., Хорохорин И. Диадические семантики для С1 и СЗ формальной. // Логические исследования / Logical Investigations. 1997. Т. 4. C. 134-136.
Выпуск
Том 4 (1997)
Раздел
Статьи

Литература

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