Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики.

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

L.I. Mchedlishvili

Abstract

In [4] and [I] the set o f formulae rejected in the Lukasievwicz's caluculus o f positive syllogistic was axiomatized. In this article we construct analogous adequate calculi o f rejected formulae for the systems o f positive syllogistic o f Slupecki [3], Shepherdson [7; the system B] and Smirnov [5].

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Лукасевич Я. Аристотелевская силлогистика современой формальной логики. М., 1959.

Мчедлишвили Ассерторическая силлогистика Аристотеля и логика одноместных предикатов // Методы логических исследований. Тбилиси, 1987, с. 11-18. ЛИ.

Мчедлишвили Л.И. Нормальные формы в силлогистике // Семантический анализ неклассической логики. Тбилиси, 1991. С. 29-34.

Slupecki J On Aristotelian Syllogistic // Studia Philosophica, 1949/50 (4). P. 275-300.

Смирнов В. А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии, Киев. 1981.

Prior А.N. Formal Logic. Oxford, 1962 (Appendix I).

Shepherdson J.C. On the Interpretation of Aristotelian Syllogistic // JSL, 21 (1956), no 2. P. 137-147.