Authors: Kuku I. V., Ratsa M. F.
Abstract
The logic of five-valued pseudo-Boolean algebra with two incomparable elements is studied. It is an intermediate logic lying between the intuitionistic and classical ones. A criterion of parametric completeness of systems of formulae is established. It is based on a description of eleven precomplete classes of formulae.