Abstract
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.
Similar content being viewed by others
Notes
However, in [6] it is shown that there is a unique self-extensional three-valued paraconsistent logic in the language of \(\{\lnot ,\wedge ,\vee \}\) for which \(\vee \) is a disjunction, and \(\wedge \) is a conjunction.
Most probably, \(\mathbf{BN4}^\rightarrow \) is the logic that Brady had in mind, since \(\rightarrow \) has in it important properties of a relevant entailment.
Conversely, Brady’s \(\rightarrow \) can be defined in the language of 4CL by
$$\begin{aligned} \varphi \rightarrow \psi =_{Df}(\varphi \supset \psi )\wedge (\lnot \psi \supset \lnot \varphi ) \end{aligned}$$Hence \(\mathbf {L}_{\mathcal {M}_4}\) and 4CL are equivalent. These connections between \(\supset \) and \(\rightarrow \) have first been given in [2]. Note that [2] provided also a Hilbert-type system that is strongly sound and complete for 4CL. (See also [8].) That system has MP for \(\supset \) as its sole rule of inference. BN4, in contrast, has four rules of inference. Still, it is straightforward to show that BN4 and the system for 4CL given in [2, 8] are equivalent.
For \(\tilde{\supset }\) this easily follows from the characterization given in Note 3.9.
The proof is very similar to the proof of Theorem 6.9 in [6].
References
Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)
Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Logic Lang. Inf. 5(1), 25–63 (1996)
Arieli, O., Avron, A.: Three-valued paraconsistent propositional logics. In: Béziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic, pp. 91–129. Springer, Berlin (2015)
Arieli, O., Avron, A.: Four-valued paradefinite logics. Stud. Logica 105, 1087–1122 (2017)
Asenjo, F.G.: A calculus of antinomies. Notre Dame J. Form. Log. 7, 103–106 (1966)
Avron, A.: Self-extensional three-valued paraconsistent logics. Log. Univers. 11, 297–315 (2017)
Avron, A.: Quasi-canonical systems and their semantics. Synthese (2018). https://doi.org/10.1007/s11229-018-02045-0
Avron, A., Arieli, O., Zamansky, A.: Theory of Effective Propositional Paraconsitent Logics. Studies in Logic (Mathematical Logic and Foundations), vol. 75. College Publications, London (2018)
Avron, A., Ben-Naim, J., Konikowska, B.: Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Log. Univers. 1, 41–69 (2006)
Avron, A., Béziau, J.-Y.: Self-extensional three-valued paraconsistent logics have no implication. Log. J. IGPL 25, 183–194 (2017)
Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems—a survey. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 16, pp. 227–304. Springer, Berlin (2011)
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logics, pp. 7–37. Reidel Publishing Company, Dordrecht (1977)
Béziau, J.Y.: Idempotent full paraconsistent negations are not algebraizable. Notre Dame J. Form. Log. 39, 135–139 (1994)
Brady, R.T.: Completeness proofs for RM3 and BN4. Log. Anal. 25, 9–32 (1982)
daCosta, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Form. Log. 15, 497–510 (1974)
D’Ottaviano, I.: The completeness and compactness of a three-valued first-order logic. Rev. Colomb. Mat. XIX(1—-2), 31–42 (1985)
Dunn, J.M.: Intuitive semantics for first-degree entailments and ‘coupled trees’. Philos. Stud. 29, 149–168 (1976)
Dunn, J.M., Restall, G.: Relevance logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 6, 2nd edn, pp. 1–136. Kluwer, Dordrecht (2002)
Fitting, M.: Bilattices and the semantics of logic programming. J. Log. Program. 11(2), 91–116 (1991)
Priest, G.: Logic of paradox. J. Philos. Log. 8, 219–241 (1979)
Shoesmith, D.J., Smiley, T.J.: Deducibility and many-valuedness. J. Symb. Log. 36, 610–622 (1971)
Shoesmith, D.J., Smiley, T.J.: Multiple Conclusion Logic. Cambridge University Press, Cambridge (1978)
Urbas, I.: On Brazilian paraconsistent logics. PhD thesis, Australian National University, Canberra (1987)
Urbas, I.: Paraconsistency. Stud. Sov. Thought 39, 343–354 (1989)
Wójcicki, R.: Theory of Logical Calculi: Basic Theory of Consequence Operations. Kluwer Academic Publishers, Dordrecht (1988)
Acknowledgements
This research was supported by the Israel Science Foundation under Grant Agreement No. 817/15.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Avron, A. The Normal and Self-extensional Extension of Dunn–Belnap Logic. Log. Univers. 14, 281–296 (2020). https://doi.org/10.1007/s11787-020-00254-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-020-00254-1