Skip to main content
SpringerLink
Log in

On Heyting Algebras with Negative Tense Operators

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois Negations. Finally, we will develop a Priestley-style duality for tense H-algebras.

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. Balbes, R., and P. Dwinger, Distributive lattices, University of Missouri Press, Columbia, Mo., 1974.

  2. Blok, W. J., and D. Pigozzi, Algebraizable Logics, no. 396 of Memoirs of the American Mathematical Society, Providence, Rhode Island, USA, 1989.

  3. Burgess, J. P., Basic Tense Logic, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. II, vol. 165 of Synthese Library, D. Reidel Publishing Company, Dordrecht, 1984, pp. 89–133.

  4. Celani, S. A., Notes on the representation of distributive modal algebras, Miskolc Math. Notes 9(2):81–89, 2008

    Article  Google Scholar 

  5. Chajda, I., Algebraic axiomatization of tense intuitionistic logic, Central European Journal of Mathematics 9(5):1185–1191, 2011.

    Article  Google Scholar 

  6. Chajda, I., R. Halas, and J. Kühr, Semilattice structures, vol. 30 of Research and Exposition in Mathematics, Heldermann Verlag, Lemgo, 2007.

  7. Chajda, I., and J. Paseka, Algebraic Approach to Tense Operators, vol. 35 of Research and Exposition in Mathematics, Heldermann Verlag, 2015.

  8. Diaconescu, D., and G. Georgescu, Tense operators on MV-algebras and Łukasiewicz–Moisil algebras, Fundamenta Informaticae 81(4):379–408, 2007.

    Google Scholar 

  9. Dosen, K, Negative modal operators in intuitionistic logic, Publications de l’Institut Mathématique (Beograd) (N.S.) 35(49):3–14, 1984.

  10. Dunn, J. M., and C. Zhou, Negation in the context of gaggle theory, Studia Logica 80(2-3):235–264, 2005.

    Article  Google Scholar 

  11. Dzik, W., J. Järvinen, and M. Kondo, Characterizing intermediate tense logics in terms of Galois connections, Logic Journal of the IGPL 22(6):992–1018, 2014.

    Article  Google Scholar 

  12. Esakia, L., Topological Kripke models, Soviet Math. Dokl. 15:147–151, 1974.

    Google Scholar 

  13. Figallo, A. V., and G. Pelaitay, Remarks on Heyting algebras with tense operators, Bulletin of the Section of Logic 41(1-2):71–74, 2012

    Google Scholar 

  14. Figallo, A. V., and G. Pelaitay, An algebraic axiomatization of the Ewald’s intuitionistic tense logic, Soft Computing 18(10):1873–1883, 2014.

    Article  Google Scholar 

  15. Figallo, A. V., I. Pascual, and G. Pelaitay, Subdirectly irreducible IKt-algebras, Studia Logica 105(4):673–701, 2017

    Article  Google Scholar 

  16. Hasimoto, Y., Heyting algebras with operators, Mathematical Logic Quarterly 47(2):187-196, 2001.

    Article  Google Scholar 

  17. Kowalski, T., Varieties of tense algebras, Reports on Mathematical Logic 32:53–95, 1998

    Google Scholar 

  18. Ma, M., and G. Li, Intuitionistic propositional logic with galois negations, Studia Logica 2022. https://doi.org/10.1007/s11225-022-10014-5

    Article  Google Scholar 

  19. Metcalfe, G., F. Montagna, and C. Tsinakis, Amalgamation and interpolation in ordered algebras, Journal of Algebra 402:21–82, 2014

    Article  Google Scholar 

  20. Monteiro, A., Sur les algãbres de Heyting symétriques (French) [Symmetric Heyting algebras], Special issue in honor of António Monteiro, Portugaliae mathematica 39(1-4):1–237, 1985.

  21. Orłowska, E., A. M. Radzikowska, and I. Rewitzky, Dualities for Structures of Applied Logics, vol. 56 of Studies in Logic, College Publications, London, 2015.

Download references

Acknowledgements

The authors acknowledge many helpful comments from the anonymous referee, which considerably improved the presentation of this paper. The authors want to thank the institutional support of Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET).

Author information

Authors and Affiliations

  1. CONICET and Instituto de Ciencias Básicas, Universidad Nacional de San Juan, 5400, San Juan, Argentina

    Federico G. Almiñana & Gustavo Pelaitay

  2. CONICET and Departamento de Matemática Facultad de Ciencias Exactas, Universidad Nacional del Centro de la Provincia de Buenos Aires, Pinto 399, Tandil, Buenos Aires, Argentina

    William Zuluaga

Authors
  1. Federico G. Almiñana
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gustavo Pelaitay
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. William Zuluaga
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gustavo Pelaitay.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Jacek Malinowski; Received December 18, 2022.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Almiñana, F.G., Pelaitay, G. & Zuluaga, W. On Heyting Algebras with Negative Tense Operators. Stud Logica 111, 1015–1036 (2023). https://doi.org/10.1007/s11225-023-10053-6

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-023-10053-6

Keywords

Search

Navigation