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.
Similar content being viewed by others
References
Balbes, R., and P. Dwinger, Distributive lattices, University of Missouri Press, Columbia, Mo., 1974.
Blok, W. J., and D. Pigozzi, Algebraizable Logics, no. 396 of Memoirs of the American Mathematical Society, Providence, Rhode Island, USA, 1989.
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.
Celani, S. A., Notes on the representation of distributive modal algebras, Miskolc Math. Notes 9(2):81–89, 2008
Chajda, I., Algebraic axiomatization of tense intuitionistic logic, Central European Journal of Mathematics 9(5):1185–1191, 2011.
Chajda, I., R. Halas, and J. Kühr, Semilattice structures, vol. 30 of Research and Exposition in Mathematics, Heldermann Verlag, Lemgo, 2007.
Chajda, I., and J. Paseka, Algebraic Approach to Tense Operators, vol. 35 of Research and Exposition in Mathematics, Heldermann Verlag, 2015.
Diaconescu, D., and G. Georgescu, Tense operators on MV-algebras and Łukasiewicz–Moisil algebras, Fundamenta Informaticae 81(4):379–408, 2007.
Dosen, K, Negative modal operators in intuitionistic logic, Publications de l’Institut Mathématique (Beograd) (N.S.) 35(49):3–14, 1984.
Dunn, J. M., and C. Zhou, Negation in the context of gaggle theory, Studia Logica 80(2-3):235–264, 2005.
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.
Esakia, L., Topological Kripke models, Soviet Math. Dokl. 15:147–151, 1974.
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
Figallo, A. V., and G. Pelaitay, An algebraic axiomatization of the Ewald’s intuitionistic tense logic, Soft Computing 18(10):1873–1883, 2014.
Figallo, A. V., I. Pascual, and G. Pelaitay, Subdirectly irreducible IKt-algebras, Studia Logica 105(4):673–701, 2017
Hasimoto, Y., Heyting algebras with operators, Mathematical Logic Quarterly 47(2):187-196, 2001.
Kowalski, T., Varieties of tense algebras, Reports on Mathematical Logic 32:53–95, 1998
Ma, M., and G. Li, Intuitionistic propositional logic with galois negations, Studia Logica 2022. https://doi.org/10.1007/s11225-022-10014-5
Metcalfe, G., F. Montagna, and C. Tsinakis, Amalgamation and interpolation in ordered algebras, Journal of Algebra 402:21–82, 2014
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.
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.
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
Corresponding author
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.
About this article
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
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-023-10053-6