Интуиционистски приемлемая паранормальная логика.

Abstract

In the paper a propositional logic AIP which is a paranormal sublogic of intuitionistic propositional logic is constructed. The semantics of AIP which is a modification of Kripke semantics adequate to the intuitionistic propositional logic, and a sequent calculus GAIP axiomatizing the AIP logic, are also described. The embeddings of intuitionistic propositional logic into AIP are defined.