Сингулярные расширения силлогистики Лукасевича

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

V.I. Markin

Abstract

We implement two systems of syllogistic with singular terms that are the extensions of Lukasiewicz syllogistic. In the language of the first system singular terms can place only the subject position and singular propositions are of special type. In the language of the second one singular terms can place the subject as well as the predicate position and there are no special syllogistic constants for singular propositions. We prove the embedding of these singular syllogistics into the classical predicate calculus.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Издательство иностранной литературы, 1959.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство МГУ, 1991.
Смирнов В.А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методологии науки. Киев: Наукова думка, 1980.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.

##plugins.generic.recommendByAuthor.heading##