Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики.
Article Sidebar
Published:
31.10.2001
Main Article Content
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].
Downloads
Download data is not yet available.
Article Details
How to Cite
Mchedlishvili L. Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики. // Logicheskie Issledovaniya / Logical Investigations. 2001. VOL. 8. C. 92-104.
Issue
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.
Мчедлишвили Ассерторическая силлогистика Аристотеля и логика одноместных предикатов // Методы логических исследований. Тбилиси, 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.