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

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.