Tense Operators on Distributive Lattices with Implication
Abstract
Inspired by the definition of tense operators on distributive lattices presented by Chajda and Paseka in 2015, in this paper, we introduce and study the variety of tense distributive lattices with implication and we prove that these are categorically equivalent to a full subcategory of the category of tense centered Kleene algebras with implication. Moreover, we apply such an equivalence to describe the congruences of the algebras of each variety by means of tense 1-filters and tense centered deductive systems, respectively.
References
[1]
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974.
[2]
Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, vol. 78 of Graduate Texts in Mathematics, Springer, New York, 1981.
[3]
Castiglioni JL, Celani SA, and San Martín HJ Kleene algebras with implication Algebra Universalis 2017 77 4 375-393
[4]
Celani, S., Bounded distributive lattices with fusion and implication, Southeast Asian Bull. Math. 28:999–1010, 2004.
[5]
Cignoli R The class of Kleene algebras satisfying an interpolation property and Nelson algebras Algebra Universalis 1986 23 262-292
[6]
Chajda, I., and J. Paseka, Algebraic Appropach to Tense Operators, vol. 35 of Research and Exposition in Mathematics, Heldermann Verlag (Germany), 2015.
[7]
Chajda, I., R. Halas, and J. Kühr, Semilattice Structures, vol. 30 of Research and Exposition in Mathematics, Heldermann Verlag, Lemgo, 2007.
[8]
Ewald WB Intuitionistic tense and modal logic J. Symbolic Logic 1986 51 1 166-179
[9]
Fidel, M. M., An algebraic study of a propositional system of Nelson, in A. I., Arruda, N. C. A., Da Costa, and R. Chuaqui, (eds.), Mathematical Logic. Proceedings of the First Brazilian Conference, vol. 39 of Lectures in Pure and Applied Mathematics, Marcel Dekker, New York, 1978, pp. 99–117.
[10]
Figallo AV and Pelaitay G Tense operators on De Morgan algebras Log. J. IGPL 2014 22 2 255-267
[11]
Figallo AV and Pelaitay G An algebraic axiomatization of the Ewald’s intuitionistic tense logic Soft Comput. 2014 18 10 1873-1883
[12]
Kalman JA Lattices with involution Trans. Amer. Math. Soc. 1958 87 485-491
[13]
Mac Lane, S., Categories for the Working Mathematician, vol. 5 of Graduate Texts in Mathematics, 2nd ed., Springer, New York, 1998.
[14]
Menni, M., and C. Smith, Modes of adjointness, Journal of Philosophical Logic 43(2–3):365–391, 2014.
[15]
Prior A Time and Modality 1957 Oxford Clarendon Press
[16]
Rasiowa, H., N–lattices and constructive logic with strong negation, Fundamenta Mathematicae 46:61–80, 1958.
[17]
Simpson, A. K., The proof theory and semantics of intuitionistic modal logic, Ph.D. thesis, University of Edinburgh, 1994.
[18]
Vakarelov, D., Notes on N–lattices and constructive logic with strong negation, Studia Logica 36(1–2):109–125, 1977.
Recommendations
An Algebraic Study of Tense Operators on Nelson Algebras
AbstractEwald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the ...
A Categorical Equivalence for Tense Nelson Algebras
AbstractIn this paper we present a category equivalent to that of tense Nelson algebras. The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence and the morphisms are a special kind of IKt-homomorphisms. This ...
Discrete Duality for Nelson Algebras with Tense Operators
AbstractIn this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in Studia Logica 109(2):285–312, 2021, Studia Logica 110(1):241–263, 2022). We define the variety of algebras, which we call tense Nelson D-algebras, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
© Springer Nature B.V. 2023. 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.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 25 April 2023
Accepted: 17 March 2023
Received: 30 August 2022
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 13 Nov 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in