RO  EN
IMI/Publicaţii/BASM/Ediţii/BASM n.1 (7), 1992/

Parametric completeness in the logic of the simplest pseudo-Boolean algebra with incomparable elements. (Russian)

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.