Паранормальная подлогика интуиционистской логики.

Abstract

A Hilbert style calculi $\mathbf{HIAP}$ is constructed and a paranormal logic $\mathbf{IAP} which is sublogic of intuitionistic prepositional logic is defined. A sequent calculi $\mathbf{GIAP}$ axiomatizing a logic $\mathbf{IAP}$ is performed. Kripke style semantics corresponding to logic $\mathbf{IAP}$ is constructed and the maps embedding $\mathbf{IntP}$ to $\mathbf{IAP}$ are defined.