Abstract
A modal extension of multilattice logic, called modal multilattice logic, is introduced as a Gentzen-type sequent calculus \(\hbox {MML}_n\). Theorems for embedding \(\hbox {MML}_n\) into a Gentzen-type sequent calculus S4C (an extended S4-modal logic) and vice versa are proved. The cut-elimination theorem for \(\hbox {MML}_n\) is shown. A Kripke semantics for \(\hbox {MML}_n\) is introduced, and the completeness theorem with respect to this semantics is proved. Moreover, the duality principle is proved as a characteristic property of \(\hbox {MML}_n\).
Similar content being viewed by others
References
Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. J. Symb. Log. 49(1), 231–233 (1984)
Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Log. Lang. Inf. 5, 25–63 (1996)
Belnap, N.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5–37. Reidel, Dordrecht (1977)
Belnap, N.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30–56. Oriel Press, Stocksfield (1977)
Bou, F., Esteva, F., Godo, L., Rodríguez, R.: On the minimum many-valued modal logic over a finite residuated lattice. J. Log. Comput. 21, 739–790 (2011)
Cattaneo, G., Ciucci, D.: Lattices with interior and closure operators and abstract approximation spaces. In: Peters, J.F. et al. (eds.) Transactions on Rough Sets X, LNCS vol. 5656, pp. 67–116 (2009)
Dunn, J.M.: Intuitive semantics for first-degree entailment and ‘coupled trees’. Philos. Stud. 29, 149–168 (1976)
Fitting, M.: Many-valued modal logics. Fundam. Inf. 15, 235–254 (1991)
Fitting, M.: Many-valued modal logics II. Fundam. Inf. 17, 55–73 (1992)
Ginsberg, M.: Multi-valued logics. In: Proceedings of AAAI-86, Fifth National Conference on Artificial Intellegence. Morgan Kaufman Publishers, Los Altos, pp. 243–247 (1986)
Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in AI. Comput. Intell. 4, 256–316 (1988)
Gurevich, Y.: Intuitionistic logic with strong negation. Stud. Log. 36, 49–59 (1977)
Kamide, N.: Proof systems combining classical and paraconsistent negations. Stud. Log. 91(2), 217–238 (2009)
Kamide, N.: Embedding-based methods for trilattice logic. In: Proceedings of the 34rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2013), pp. 237–242 (2013)
Kamide, N.: A hierarchy of weak double negations. Stud. Log. 101(6), 1277–1297 (2013)
Kamide, N.: Trilattice logic: an embedding-based approach. J. Log. Comput. 25(3), 581–611 (2015)
Kamide, N., Shramko, Y.: Embedding from multilattice logic into classical logic and vice versa. J. Logic Comput. 27(5), 1549–1575 (2017). doi:10.1093/logcom/exw015
Kamide, N., Wansing, H.: Symmetric and dual paraconsistent logics. Log. Log. Philos. 19(1–2), 7–30 (2010)
Kamide, N., Shramko, Y., Wansing, H.: Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Stud. Log. (to appear)
Lemmon, E.J.: Algebraic semantics for modal logics I. J. Symb. Log. 31, 46–65 (1966)
McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 45, 141–191 (1944)
McKinsey, J.C.C., Tarski, A.: Some theorems about the sentential calculi of Lewis and Heyting. J. Symb. Log. 13, 1–15 (1948)
Nelson, D.: Constructible falsity. J. Symb. Log. 14, 16–26 (1949)
Odintsov, S.P., Speranski, S.: The lattice of Belnapian modal logics: special extensions and counterparts. Log. Log. Philos. 25, 3–33 (2016)
Odintsov, S.P., Wansing, H.: Modal logics with Belnapian truth values. J. Appl. Non-Class. Log. 20, 279–301 (2010)
Ohnishi, M., Matsumoto, K.: Gentzen method in modal calculi. Osaka Math. J. 9, 113–130 (1957)
Ohnishi, M., Matsumoto, K.: Gentzen method in modal calculi II. Osaka Math. J. 11, 115–120 (1959)
Rivieccio, U., Jung, A., Jansana, R.: Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. 27, 155–199 (2017)
Rautenberg, W.: Klassische und nicht-klassische Aussagenlogik. Vieweg, Braunschweig (1979)
Shramko, Y.: Truth, falsehood, information and beyond: the American plan generalized. In: Bimbo, K. (ed.) J. Michael Dunn on Information Based Logics, Outstanding Contributions to Logic. Springer, Dordrecht, pp. 191–212 (2016)
Shramko, Y.: A modal translation for dual-intuitionistic logic. Rev. Symb. Log. 9, 251–265 (2016)
Shramko, Y., Dunn, J.M., Takenaka, T.: The trilattice of constructive truth values. J. Log. Comput. 11(6), 761–788 (2001)
Shramko, Y., Wansing, H.: Some useful sixteen-valued logics: how a computer network should think. J. Philos. Log. 34, 121–153 (2005)
Shramko, Y., Wansing, H.: Truth and Falsehood. An Inquiry into Generalized Logical Values. Springer, Dordrecht (2011)
Schroeder-Heister, P.: Schluß und Umkehrschluß: ein Beitrag zur Definitionstheorie. In.: Gethmann, C.F. (ed.) Deutsches Jahrbuch Philosophie 02. Lebenswelt und Wissenschaft. Felix Meiner Verlag, Hamburg, pp. 1065–1092 (2009)
Vorob’ev, N.N: A constructive propositional calculus with strong negation (in Russian). Doklady Akademii Nauk SSSR 85, pp. 465–468 (1952)
Wansing, H.: Constructive negation, implication, and co-implication. J. Appl. Non-Class. Log. 18(2–3), 341–364 (2008)
Zaitsev, D.: A few more useful 8-valued logics for reasoning with tetralattice EIGHT4. Stud. Log. 92(2), 265–280 (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
Norihiro Kamide was supported by JSPS KAKENHI Grant (C) JP26330263. Yaroslav Shramko’s work on this paper was a part of Marie Curie project PIRSES-GA-2012-318986 Generalizing Truth Functionality within the Seventh Framework Programme for Research funded by EU.
Rights and permissions
About this article
Cite this article
Kamide, N., Shramko, Y. Modal Multilattice Logic. Log. Univers. 11, 317–343 (2017). https://doi.org/10.1007/s11787-017-0172-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-017-0172-5