PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2017 | 46 | 1/2 |
Tytuł artykułu

Four-Valued Logics BD and DM4: Expansions

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Rocznik
Tom
46
Numer
1/2
Opis fizyczny
Daty
wydano
2017-06-30
Twórcy
  • Russian Academy of Sciences, Department of Logic, Institute of Philosophy
Bibliografia
  • [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] 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] O. Arieli and A. Avron, The value of four values, Artificial Intelligence 102 (1998), pp. 97–141.
  • [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] J.-Y. Béziau, A new four-valued approach to modal logic, Logique et Analyse 54, 213 (2011), pp. 109–121.
  • [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] R. Cignoli, Moisil algebras, Notas deMathematica, No. 27, Universidad Nacional del Sur. Bahia Blanca, 1970.
  • [8] M. De and H. Omori, Classical negation and expansions of Belnap-Dunn logic, Studia Logica 103, 4 (2015), pp. 825–851.
  • [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] 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] 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] M. Fitting, Bilattices and the theory of truth, Journal of Philosophical Logic 18 (1989), pp. 225–256.
  • [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] M. L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence 4, 3 (1988), pp. 265–315.
  • [15] G. Iorgulescu, Connections between MVn algebras and n-valued Łukasiewicz-Moisil algebras Part I, Discrete Mathematics 181 (1998), pp. 155–177.
  • [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] A. S. Karpenko, Von Wright’s truth logic and around, Logical Investigations 19 (2013), pp. 39–50.
  • [18] A. S. Karpenko, Lattices of four-valued modal logics, Logical Investigations 21, 1 (2015), pp. 122–137 (in Russian).
  • [19] D. Lau, Function Algebras on Finite Sets: A Basic Course on Many-Valued Logic and Clone Theory, Springer-Verlag, Berlin 2006.
  • [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] E. J. Lemmon, Algebraic semantics for modal logic I, The Journal of Symbolic Logic 31 (1966), pp. 46–65.
  • [22] C. I. Lewis and C. H. Langford, Symbolic Logic, N. Y., 1932 (2nd ed. in 1959).
  • [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] G. Malinowski,Many-Valued Logics, The Clarendon Press, Oxford 1993.
  • [25] H. Omori and K. Sano, Generalizing functional completeness in Belnap-Dunn logic, Studia Logica 103, 5 (2015), pp. 883–917.
  • [26] A. Pietz and U. Rivieccio, Nothing but the Truth, Journal of Philosophical Logic 42, 1 (2013), pp. 125–135.
  • [27] E. L Post, Introduction to a general theory of elementary propositions, American Journal of Mathematics 43, 3 (1921), pp. 163–185.
  • [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] J. B. Rosser and A. R. Turquette, Many-Valued Logics. North-Holland, Amsterdam 1952.
  • [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] K. Segerberg, On the logic of ‘To-morrow’, Theoria 33, 1 (1967), pp. 46–52.
  • [32] B. Sobochiński, Modal system S4.4, Notre Dame Journal of Formal Logic 5, 4, (1964), pp. 305–312.
  • [33] B. Sobochiński, Certain extensions of modal system S4, Notre Dame Journal of Formal Logic 11, 3 (1970), pp. 347–367.
  • [34] R. Wójcicki and G. Malinowski (eds.) Selected Papers on Łukasiewicz Sentential Calculi. OSSOLINEUM, Wroclaw 1977.
  • [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).
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_46_1_2_04
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.