|
|||||
|
|
Negative Equivalence of Extensions of Minimal Logic |
|
| Authors: | |
| Institution: | (1) Sobolev Institute of Mathematics, Koptyug prosp. 4, 630090 Novosibirsk, Russia |
| Abstract: | Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬ , ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.The author acknowledges support by the Alexander von Humboldt-StiftungPresented by Jacek Malinowski |
| Keywords: | paraconsistent logic minimal logic negative equivalence Jankov formula |
| 本文献已被 SpringerLink 等数据库收录！ | |