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

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].