Об одной девятизначной паранормальной логике.

Abstract

A propositional logic $\mathbf{VIК}$ is defined in semantic terms of state quasidescription. A hilbert style calculi $\mathbf{HVIK}$ and a sequent calculi $\mathbf{GVIK}$ which axiomatize this logic are constructed, a nine-valued characteristic matrix for $\mathbf{VIК}$ is constructed. We also define the maps embedding a classical propositional logic into $\mathbf{VIK}$.