Секвенциальные аксиоматизации простых паралогик

Abstract

The sequent systems axiomatizing some simple paralogies are presented and the solution of the decision problem for these simple paralogies is given. The connection of these logics with the classical propositional logic and the intuitionistic propositional logic is described.