Skip to main content
SpringerLink
Log in

Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Arieli O., Avron A.: The value of the four values. Artificial Intelligence 102(1), 97–141 (1998)

    Article  Google Scholar 

  2. Belnap, N., How computers should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriol Press, 1976, pp. 30–56.

  3. Béziau J.-Y.: A new four-valued approach to modal logic. Logique et Analyse 54(213), 109–121 (2011)

    Google Scholar 

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

  5. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Cambridge University Press, ISBN 0-521-80200-80, 2001.

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

    Google Scholar 

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

  8. Figallo A. V., Landini P.: On generalized I-algebras and 4-valued modal algebras. Reports on Mathematical Logic 29, 3–18 (1995)

    Google Scholar 

  9. Font J. M., Hájek P.: On Łukasiewicz’s four-valued modal logic. Studia Logica 70(2), 157–182 (2002)

    Article  Google Scholar 

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

  11. Font J. M., Rius M.: An abstract algebraic logic approach to tetravalent modal logics. Journal of Symbolic Logic 65(2), 481–518 (2000)

    Article  Google Scholar 

  12. Iemhoff R.: On the rules of intermediate logics. Archive for Mathematical Logic 45, 581–599 (2006)

    Article  Google Scholar 

  13. 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/.

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

  15. Loureiro, I., Álgebras Modais Tetravalentes. PhD thesis, Faculdade de Ciências de Lisboa, 1983.

  16. Loureiro I.: Homomorphism kernels of a tetravalent modal algebra. Portugaliae Mathematica 39, 371–377 (1980)

    Google Scholar 

  17. Rius, M., Lògiques modals tetravalents. PhD thesis, Universidad de Barcelona, 1992.

  18. Wójcicki, R., Theory of logical calculi: basic theory of consequence operations. Volume 199 of Synthese Library. Reidel, Dordrecht, 1988.

  19. Ziliani, A., Algebras de De Morgan modales 4-valuadas monádicas. PhD thesis, Universidad Nacional del Sur (Bahía Blanca), 2001.

Download references

Author information

Authors and Affiliations

  1. CLE and Department of Philosophy, State University of Campinas, Campinas, Brazil

    Marcelo E. Coniglio & Martín Figallo

Authors
  1. Marcelo E. Coniglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martín Figallo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marcelo E. Coniglio.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9489-0

Keywords

Search

Navigation