Four-Valued Logics BD and DM4: Expansions

Alexander S. Karpenko

Bulletin of the Section of Logic (2017)

  • Volume: 46, Issue: 1/2
  • ISSN: 0138-0680

Abstract

top
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.

How to cite

top

Alexander S. Karpenko. "Four-Valued Logics BD and DM4: Expansions." Bulletin of the Section of Logic 46.1/2 (2017): null. <http://eudml.org/doc/295530>.

@article{AlexanderS2017,
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.},
author = {Alexander S. Karpenko},
journal = {Bulletin of the Section of Logic},
keywords = {Belnap’s four-valued logic; expansions and functional properties; lattices},
language = {eng},
number = {1/2},
pages = {null},
title = {Four-Valued Logics BD and DM4: Expansions},
url = {http://eudml.org/doc/295530},
volume = {46},
year = {2017},
}

TY - JOUR
AU - Alexander S. Karpenko
TI - Four-Valued Logics BD and DM4: Expansions
JO - Bulletin of the Section of Logic
PY - 2017
VL - 46
IS - 1/2
SP - null
AB - 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.
LA - eng
KW - Belnap’s four-valued logic; expansions and functional properties; lattices
UR - http://eudml.org/doc/295530
ER -

References

top
  1. [1] O. M. Anshakov and S. V. Rychkov, On the axiomatization of finite-valued logical calculi, Math. USSR Sbornik 51 (1985), pp. 473–491. 
  2. [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. 
  3. [3] O. Arieli and A. Avron, The value of four values, Artificial Intelligence 102 (1998), pp. 97–141. 
  4. [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. 
  5. [5] J.-Y. Béziau, A new four-valued approach to modal logic, Logique et Analyse 54, 213 (2011), pp. 109–121. 
  6. [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. 
  7. [7] R. Cignoli, Moisil algebras, Notas deMathematica, No. 27, Universidad Nacional del Sur. Bahia Blanca, 1970. 
  8. [8] M. De and H. Omori, Classical negation and expansions of Belnap-Dunn logic, Studia Logica 103, 4 (2015), pp. 825–851. 
  9. [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). 
  10. [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). 
  11. [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). 
  12. [12] M. Fitting, Bilattices and the theory of truth, Journal of Philosophical Logic 18 (1989), pp. 225–256. 
  13. [13] J. M. Font, Belnap’s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5, 3 (1997), pp. 413–440. 
  14. [14] M. L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence 4, 3 (1988), pp. 265–315. 
  15. [15] G. Iorgulescu, Connections between MVn algebras and n-valued Łukasiewicz-Moisil algebras Part I, Discrete Mathematics 181 (1998), pp. 155–177. 
  16. [16] S. V. Jablonski, Functional constructions in k-valued logics, Studies of V. A. Steklov Mathematical Institute 51 (1958), pp. 5–142 (in Russian). 
  17. [17] A. S. Karpenko, Von Wright’s truth logic and around, Logical Investigations 19 (2013), pp. 39–50. 
  18. [18] A. S. Karpenko, Lattices of four-valued modal logics, Logical Investigations 21, 1 (2015), pp. 122–137 (in Russian). 
  19. [19] D. Lau, Function Algebras on Finite Sets: A Basic Course on Many-Valued Logic and Clone Theory, Springer-Verlag, Berlin 2006. 
  20. [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). 
  21. [21] E. J. Lemmon, Algebraic semantics for modal logic I, The Journal of Symbolic Logic 31 (1966), pp. 46–65. 
  22. [22] C. I. Lewis and C. H. Langford, Symbolic Logic, N. Y., 1932 (2nd ed. in 1959). 
  23. [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). 
  24. [24] G. Malinowski,Many-Valued Logics, The Clarendon Press, Oxford 1993. 
  25. [25] H. Omori and K. Sano, Generalizing functional completeness in Belnap-Dunn logic, Studia Logica 103, 5 (2015), pp. 883–917. 
  26. [26] A. Pietz and U. Rivieccio, Nothing but the Truth, Journal of Philosophical Logic 42, 1 (2013), pp. 125–135. 
  27. [27] E. L Post, Introduction to a general theory of elementary propositions, American Journal of Mathematics 43, 3 (1921), pp. 163–185. 
  28. [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. 
  29. [29] J. B. Rosser and A. R. Turquette, Many-Valued Logics. North-Holland, Amsterdam 1952. 
  30. [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. 
  31. [31] K. Segerberg, On the logic of ‘To-morrow’, Theoria 33, 1 (1967), pp. 46–52. 
  32. [32] B. Sobochiński, Modal system S4.4, Notre Dame Journal of Formal Logic 5, 4, (1964), pp. 305–312. 
  33. [33] B. Sobochiński, Certain extensions of modal system S4, Notre Dame Journal of Formal Logic 11, 3 (1970), pp. 347–367. 
  34. [34] R. Wójcicki and G. Malinowski (eds.) Selected Papers on Łukasiewicz Sentential Calculi. OSSOLINEUM, Wroclaw 1977. 
  35. [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). 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.