Three-valued Paraconsistent Research Articles

Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $$\mathbf {L3A_G}$$ and $$\mathbf {L3B_G}$$

Genuine Paraconsistent logics $$\mathbf {L3A}$$ and $$\mathbf {L3B}$$ were defined in 2016 by Beziau et al, including only three logical connectives, namely, negation disjunction and conjunction. Afterwards in 2017 Hernandez-Tello et al, provide implications for both logics and define the logics $$\mathbf {L3A_G}$$ and $$\mathbf {L3B_G}$$ . In this work we continue the study of these logics, providing sound and complete Hilbert-type axiomatic systems for each logic. We prove among other properties that $$\mathbf {L3A_G}$$ and $$\mathbf {L3B_G}$$ satisfy a restricted version of the Substitution Theorem, and that both of them are maximal with respect to Classical Propositional Logic. To conclude we make some comparisons between $$\mathbf {L3A_G}$$ and $$\mathbf {L3B_G}$$ and among other logics, for instance $${\mathbf {Int}}$$ and some $${\mathbf {LFI}}$$ s.

On the strongest three-valued paraconsistent logic contained in classical logic and its dual

Abstract $\textrm{LP}^{\mathbin{\supset },{\mathsf{F}}}$ is a three-valued paraconsistent propositional logic that is essentially the same as J3. It has the most properties that have been proposed as desirable properties of a reasonable paraconsistent propositional logic. However, it follows easily from already published results that there are exactly 8192 different three-valued paraconsistent propositional logics that have the properties concerned. In this paper, properties concerning the logical equivalence relation of a logic are used to distinguish $\textrm{LP}^{\mathbin{\supset },{\mathsf{F}}}$ from the others. As one of the bonuses of focusing on the logical equivalence relation, it is found that only 32 of the 8192 logics have a logical equivalence relation that satisfies the identity, annihilation, idempotent and commutative laws for conjunction and disjunction. For most properties of $\textrm{LP}^{\mathbin{\supset },{\mathsf{F}}}$ that have been proposed as desirable properties of a reasonable paraconsistent propositional logic, its paracomplete analogue has a comparable property. In this paper, properties concerning the logical equivalence relation of a logic are also used to distinguish the paracomplete analogue of $\textrm{LP}^{\mathbin{\supset },{\mathsf{F}}}$ from the other three-valued paracomplete propositional logics with those comparable properties.

Twist-Valued Models for Three-Valued Paraconsistent Set Theory

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory.

The Normal and Self-extensional Extension of Dunn–Belnap Logic

A logic $$\mathbf{L}$$ is called self-extensional if it allows to replace occurrences of a formula by occurrences of an $$\mathbf{L}$$ -equivalent one in the context of claims about logical consequence and logical validity. It is known that no three-valued paraconsistent logic which has an implication can be self-extensional. In this paper we show that in contrast, the famous Dunn–Belnap four-valued logic has (up to the choice of the primitive connectives) exactly one self-extensional four-valued extension which has an implication. We also investigate the main properties of this logic, determine the expressive power of its language (in the four-valued context), and provide a cut-free Gentzen-type proof system for it.

N-valued maximal paraconsistent matrices

ABSTRACTThe articles Maximality and Refutability Skura [(2004). Maximality and refutability. Notre Dame Journal of Formal Logic, 45, 65–72] and Three-valued Maximal Paraconsistent Logics Skura and Tuziak [(2005). Three-valued maximal paraconsistent logics. In Logika (Vol. 23). Wydawnictwo Uniwersytetu Wrocławskiego] introduced a simple method of proving maximality (in the two distinguished senses) of a given paraconsistent matrix. This method stemmed from the so-called refutation calculus, where the focus in on rejecting rather than accepting formulas. The article A Generalisation of a Refutation-related Method in Paraconsistent Logics Trybus [(2018). A generalisation of a refutation-related method in paraconsistent logics. Logic and Logical Philosophy, 27(2). doi:10.12775/LLP.2018.002] was a first step towards generalising the method. In it, a number of 3-valued paraconsistent matrices were shown maximal. In this article we extend these results to cover a number of n-valued (n>2) paraconsistent matrices using the same method.

Self-Extensional Three-Valued Paraconsistent Logics

A logic \(\mathbf{L}\) is called self-extensional if it allows to replace occurrences of a formula by occurrences of an \(\mathbf{L}\)-equivalent one in the context of claims about logical consequence and logical validity. It is known that no three-valued paraconsistent logic which has an implication can be self-extensional. In this paper we show that in contrast, there is exactly one self-extensional three-valued paraconsistent logic in the language of \(\{\lnot ,\wedge ,\vee \}\) for which \(\vee \) is a disjunction, and \(\wedge \) is a conjunction. We also investigate the main properties of this logic, determine the expressive power of its language (in the three-valued context), and provide a cut-free Gentzen-type proof system for it.

Extensions of Hałkowska-Zajac's three-valued paraconsistent logic

As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Halkowska–Zajac [2]. Studying corresponding prevarieties, we prove that extensions of the logic involved form a four-element chain, the only proper consistent extensions being the least non-paraconsistent extension of it and the classical logic. RID=""ID="" Mathematics Subject Classification (2000): 03B50, 03B53, 03G10 RID=""ID="" Key words or phrases: Many-valued logic – Paraconsistent logic – Extension – Prevariety – Distributive lattice