Four-Valued Logics BD and DM4: Expansions

Alexander S. Karpenko

doi:10.18778/0138-0680.46.1.2.04

Authors

Alexander S. Karpenko Russian Academy of Sciences, Department of Logic, Institute of Philosophy

DOI:

https://doi.org/10.18778/0138-0680.46.1.2.04

Keywords:

Belnap’s four-valued logic, expansions and functional properties, lattices

Abstract

The paper discusses functional properties of some four-valued logics which are the expansions of four-valued Belnap’s logic DM4. At first, we consider the logics with two designated values, and then logics defined by matrices having the same underlying algebra, but with a different choice of designated values, i.e. with one designated value. In the preceding literature both approaches were developed independently. Moreover, we present the lattices of the functional expansions of DM4.

References

[1] O. M. Anshakov and S. V. Rychkov, On the axiomatization of finite-valued logical calculi, Math. USSR Sbornik 51 (1985), pp. 473–491.
Google Scholar

[2] O. M. Anshakov and S. V. Rychkov, On finite-valued propositional logical calculi, Notre Dame Journal of Formal Logic 36, 4 (1995), pp. 606–629.
Google Scholar

[3] O. Arieli and A. Avron, The value of four values, Artificial Intelligence 102 (1998), pp. 97–141.
Google Scholar

[4] N. D. Belnap. A useful four-valued logic, [in:] G. Epstein and J. M. Dunn (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 7–37.
Google Scholar

[5] J.-Y. Béziau, A new four-valued approach to modal logic, Logique et Analyse 54, 213 (2011), pp. 109–121.
Google Scholar

[6] A. Białynicki-Birula and H. Rasiowa, On the representation of quasi-Boolean algebras, Bulletin de la Academie Polonaise des Sciences, Cl. III, 5 (1957), pp. 259–261.
Google Scholar

[7] R. Cignoli, Moisil algebras, Notas deMathematica, No. 27, Universidad Nacional del Sur. Bahia Blanca, 1970.
Google Scholar

[8] M. De and H. Omori, Classical negation and expansions of Belnap-Dunn logic, Studia Logica 103, 4 (2015), pp. 825–851.
Google Scholar

[9] N. M. Ermolaeva and A. A. Mučnik, A modal extensions of Hao Wang-type of logical calculi, [in:] D. A. Bočvar (ed.), Investigations on Formalized Language and Non-Classical Logics, NAUKA Publishers, Moscow, 1974, pp. 172–193 (in Russian).
Google Scholar

[10] N. M. Ermolaeva and A. A. Mučnik, Modal logics defined by endomorpismus in distributive lattices, [in:] D. A. Bočvar and V. N. Grishin (eds.), Investigations on the Set Theory and Non-classical Logics, NAUKA Publishers, Moscow, 1976, pp. 229–246 (in Russian).
Google Scholar

[11] N. M. Ermolaeva and A. A. Mučnik, Functionally closed 4-valued extensions of Boolean algebras and the corresponding logics, [in:] A. I. Mihailov (ed.), Investigations on Non-classical Logics and the Set Theory, NAUKA Publishers, Moscow, 1979, pp. 298–315 (in Russian).
Google Scholar

[12] M. Fitting, Bilattices and the theory of truth, Journal of Philosophical Logic 18 (1989), pp. 225–256.
Google Scholar

[13] J. M. Font, Belnap’s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5, 3 (1997), pp. 413–440.
Google Scholar

[14] M. L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence 4, 3 (1988), pp. 265–315.
Google Scholar

[15] G. Iorgulescu, Connections between MVn algebras and n-valued Łukasiewicz-Moisil algebras Part I, Discrete Mathematics 181 (1998), pp. 155–177.
Google Scholar

[16] S. V. Jablonski, Functional constructions in k-valued logics, Studies of V. A. Steklov Mathematical Institute 51 (1958), pp. 5–142 (in Russian).
Google Scholar

[17] A. S. Karpenko, Von Wright’s truth logic and around, Logical Investigations 19 (2013), pp. 39–50.
Google Scholar

[18] A. S. Karpenko, Lattices of four-valued modal logics, Logical Investigations 21, 1 (2015), pp. 122–137 (in Russian).
Google Scholar

[19] D. Lau, Function Algebras on Finite Sets: A Basic Course on Many-Valued Logic and Clone Theory, Springer-Verlag, Berlin 2006.
Google Scholar

[20] A. S. Karpenko and A. V. Chagrov, Modal propositional truth logic Tr and its completeness, Logical Investigations 22, 1 (2016), pp. 13–31 (in Russian).
Google Scholar

[21] E. J. Lemmon, Algebraic semantics for modal logic I, The Journal of Symbolic Logic 31 (1966), pp. 46–65.
Google Scholar

[22] C. I. Lewis and C. H. Langford, Symbolic Logic, N. Y., 1932 (2nd ed. in 1959).
Google Scholar

[23] L. L. Maksimova, Interpolation theorems in modal logics and amalgamable varieties of topoboolean algebras, Algebra i Logica 18, 5 (1979), pp. 556–586 (in Russian).
Google Scholar

[24] G. Malinowski,Many-Valued Logics, The Clarendon Press, Oxford 1993.
Google Scholar

[25] H. Omori and K. Sano, Generalizing functional completeness in Belnap-Dunn logic, Studia Logica 103, 5 (2015), pp. 883–917.
Google Scholar

[26] A. Pietz and U. Rivieccio, Nothing but the Truth, Journal of Philosophical Logic 42, 1 (2013), pp. 125–135.
Google Scholar

[27] E. L Post, Introduction to a general theory of elementary propositions, American Journal of Mathematics 43, 3 (1921), pp. 163–185.
Google Scholar

[28] A. P. Pynko, Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansion, Journal of Applied Non-Classical Logics 9, 1 (1999), pp. 61–105.
Google Scholar

[29] J. B. Rosser and A. R. Turquette, Many-Valued Logics. North-Holland, Amsterdam 1952.
Google Scholar

[30] P. Ruet, Complete sets of connectives and complete sequent calculus for Belnap’s logic, Tech. rep., Ecole Normal Superieure, 1966. Logic Colloquium 96. Document LIENS-96-28.
Google Scholar

[31] K. Segerberg, On the logic of ‘To-morrow’, Theoria 33, 1 (1967), pp. 46–52.
Google Scholar

[32] B. Sobochiński, Modal system S4.4, Notre Dame Journal of Formal Logic 5, 4, (1964), pp. 305–312.
Google Scholar

[33] B. Sobochiński, Certain extensions of modal system S4, Notre Dame Journal of Formal Logic 11, 3 (1970), pp. 347–367.
Google Scholar

[34] R. Wójcicki and G. Malinowski (eds.) Selected Papers on Łukasiewicz Sentential Calculi. OSSOLINEUM, Wroclaw 1977.
Google Scholar

[35] G. H. von Wright, Truth-logics, Logique et Analyse 30, 120 (1987), pp. 311–334 (repr. in Acta Philosopica Fennica 60 (1996), pp. 71–91).
Google Scholar