The Disjunction Property in the Class of Paraconsistent Extensions of Minimal Logic |
| |
Authors: | M V Stukachyova |
| |
Institution: | (1) Institute of Mathematics SB RAS, Akademika Koptyuga Prospekt, 4, Novosibirsk, 630090, Russia |
| |
Abstract: | We consider the disjunction property, DP, in the class of extensions of minimal logic L
j
. Conditions are described under which DP is translated from the class PAR of properly paraconsistent extensions of the logics of class L
j
into the class INT of intermediate extensions and the class NEG of negative extensions, and conditions for its being translated back into PAR. The logic L
F
in PAR, which specifies conditions for DP to be translated from PAR into NEG, is defined and is characterized in terms of j-algebras and Kripke frames. Moreover, we show that L
F
is decidable and possesses the disjunction property. |
| |
Keywords: | paraconsistent extension of minimal logic j-algebra Kripke frame disjunction property |
本文献已被 SpringerLink 等数据库收录! |
|