Abstract
We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.
Similar content being viewed by others
References
Arieli O., Avron A.: The value of the four values. Artificial Intelligence 102(1), 97–141 (1998)
Belnap, N., How computers should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriol Press, 1976, pp. 30–56.
Béziau J.-Y.: A new four-valued approach to modal logic. Logique et Analyse 54(213), 109–121 (2011)
Bianco, E., Una contribución al estudio de las álgebras de De Morgan modales 4−valuadas. Ms. thesis, Universidad Nacional del Sur (Bahía Blanca), 2008.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Cambridge University Press, ISBN 0-521-80200-80, 2001.
Bou, F., F. Esteva, J. M. Font, A. Gil, L. Godo, A. Torrens, and V. Verdú, Logics preserving degrees of truth from varieties of residuated lattices, Journal of Logic and Computation 19(6):1031–1069, 2009.
Carnielli, W. A., and J. Marcos, A taxonomy of C-systems. in W. A. Carnielli, M. E. Coniglio, and I. M. L. D’Ottaviano (eds.), Paraconsistency—The Logical Way to the Inconsistent, volume 228 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, New York, 2002, pp. 1–94.
Figallo A. V., Landini P.: On generalized I-algebras and 4-valued modal algebras. Reports on Mathematical Logic 29, 3–18 (1995)
Font J. M., Hájek P.: On Łukasiewicz’s four-valued modal logic. Studia Logica 70(2), 157–182 (2002)
Font, J. M., and M. Rius, A four-valued modal logic arising from Monteiro’s last algebras. in Proceedings of the 20th International Symposium on Multiple-Valued Logic, Charlotte, 1990, pp. 85–92.
Font J. M., Rius M.: An abstract algebraic logic approach to tetravalent modal logics. Journal of Symbolic Logic 65(2), 481–518 (2000)
Iemhoff R.: On the rules of intermediate logics. Archive for Mathematical Logic 45, 581–599 (2006)
Jansana, R., Propositional consequence relations and algebraic logic, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Spring 2011 Edition, http://plato.stanford.edu/archives/spr2011/entries/consequence-algebraic/.
Lemmon, E. J., and D. Scott, An introduction to modal logic, in K. Segerberg (ed.), The Lemmon Notes. Volume 11 of American Philosophical Quarterly Monograph series. Basil Blackwell, Oxford, 1977.
Loureiro, I., Álgebras Modais Tetravalentes. PhD thesis, Faculdade de Ciências de Lisboa, 1983.
Loureiro I.: Homomorphism kernels of a tetravalent modal algebra. Portugaliae Mathematica 39, 371–377 (1980)
Rius, M., Lògiques modals tetravalents. PhD thesis, Universidad de Barcelona, 1992.
Wójcicki, R., Theory of logical calculi: basic theory of consequence operations. Volume 199 of Synthese Library. Reidel, Dordrecht, 1988.
Ziliani, A., Algebras de De Morgan modales 4-valuadas monádicas. PhD thesis, Universidad Nacional del Sur (Bahía Blanca), 2001.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Coniglio, M.E., Figallo, M. Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Stud Logica 102, 525–539 (2014). https://doi.org/10.1007/s11225-013-9489-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9489-0