Об одной трехзначной параполной логике.

Аннотация

A propositional logic LAP with semantics of descriptions of state is constructed. For LAP a three valued characteristic matrix and Gentzen-type sequent calculus are presented. A theorem that LAP is paracomplete logic is formulated and a translation from the calculus C1P (which is a formalization of the classical propositional logic) to the LAP is described.