This article is cited in 2 papers

Some remarks about constructive extensions of minimal logic

M. V. Stukacheva


Abstract: We consider the disjunction property for the extensions of minimal logic. Two continual classes of proper paraconsistent extensions with the disjunction property are defined. Besides, we obtain algebraic and semantic characteristics of the paraconsistent analog of the Kreisel–Putnam logic $L_{KP}$ and prove that $L_{KP}\in DP$.

UDC: 510.64