2000 character limit reached
On a Generalization of Heyting Algebras I (2405.11364v1)
Published 18 May 2024 in math.LO
Abstract: $\nabla$-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of $\nabla$-algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for $\nabla$-algebras by which we establish the amalgamation property for some varieties of $\nabla$-algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories.
- Amirhossein Akbar Tabatabai. Implication via spacetime. Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, pages 161–216, 2021.
- Ethan Akin. The general topology of dynamical systems. Graduate Studies in Mathematics, 2010.
- Mohammad Ardeshir. Aspects of Basic Logic. PhD thesis, Marquette University, 1995.
- Basic propositional calculus. I. MLQ Math. Log. Q., 44(3):317–343, 1998.
- Latarres, lattices with an arrow. Studia Logica, 106(4):757–788, 2018.
- Modal logics and topological semantics for hybrid systems. 1997.
- Bisimulations for intuitionistic temporal logics. J. Appl. Logics, 8(8):2265–2285, 2021.
- Bitopological duality for distributive lattices and Heyting algebras. Math. Structures Comput. Sci., 20(3):359–393, 2010.
- Francis Borceux. Handbook of categorical algebra 1. Encyclopedia of Mathematics and its Applications, Vol. 50, Cambridge University Press, Cambridge, 1994.
- A decidable intuitionistic temporal logic. In 26th EACSL annual conference on Computer Science Logic (CSL 2017), volume 82. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2017.
- A course in universal algebra. Graduate Texts in Mathematics, Vol. 78, Springer-Verlag, New York-Berlin, 1981.
- Bounded distributive lattices with strict implication. MLQ Math. Log. Q., 51(3):219–246, 2005.
- Ivan Chajda. Algebraic axiomatization of tense intuitionistic logic. Cent. Eur. J. Math., 9(5):1185–1191, 2011.
- Canonicity and relativized canonicity via pseudo-correspondence: an application of alba. arXiv preprint arXiv:1511.04271, 2015.
- Charles B Cross. Nute donald. conditional logic. handbook of philosophical logic, volume ii, extensions of classical logic, edited by gabbay d. and guenthner f., synthese library, vol. 165, d. reidel publishing company, dordrecht, boston, and lancaster, 1984, pp. 387–439. 1989.
- Rowan Davies. A temporal logic approach to binding-time analysis. J. ACM, 64(1):Art. 1, 45, 2017.
- Constructive temporal logic, categorically. IfCoLog Journal of Logics and their Applications, page 1287, 2017.
- Leo Esakia. The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. J. Appl. Non-Classical Logics, 16(3-4):349–366, 2006.
- Leo Esakia. Heyting algebras. Trends in Logic—Studia Logica Library, Vol. 50, 2019.
- W. B. Ewald. Intuitionistic tense and modal logic. J. Symbolic Logic, 51(1):166–179, 1986.
- David Fernández-Duque. The intuitionistic temporal logic of dynamical systems. Log. Methods Comput. Sci., 14(3):Paper No. 3, 35, 2018.
- Gisèle Fischer-Servi. On modal logic with an intuitionistic base. Studia Logica, 36(3):141–149, 1977.
- Melvin Chris Fitting. Intuitionistic logic, model theory and forcing. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam-London, page 191, 1969.
- Constructive canonicity in non-classical logics. Ann. Pure Appl. Logic, 86(1):1–32, 1997.
- MacNeille completions of Heyting algebras. Houston J. Math., 30(4):937–952, 2004.
- Rosalie Iemhoff. Preservativity logic: an analogue of interpretability logic for constructive theories. MLQ Math. Log. Q., 49(3):230–249, 2003.
- Properties of intuitionistic provability and preservativity logics. Log. J. IGPL, 13(6):615–636, 2005.
- Peter T. Johnstone. Stone spaces. Cambridge Studies in Advanced Mathematics, Vol. 3, Cambridge University Press, Cambridge, 1982.
- Combining linear-time temporal logic with constructiveness and paraconsistency. J. Appl. Log., 8(1):33–61, 2010.
- Constructive linear-time temporal logic: proof systems and Kripke semantics. Inform. and Comput., 209(12):1491–1503, 2011.
- Dynamic topological logics over spaces with continuous functions. Advances in modal logic, 6:299–318, 2006.
- Philip Kremer. A small counterexample in intuitionistic dynamic topological logic, 2004.
- Dynamic topological logic. In Handbook of Spatial Logics, pages 565–606. Springer.
- Lewis meets Brouwer: constructive strict implication. Indag. Math. (N.S.), 29(1):36–90, 2018.
- Patrick Maier. Intuitionistic LTL and a new characterization of safety and liveness. In Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings 18, pages 295–309. Springer, 2004.
- Mitsuhiro Okada. A weak intuitionistic propositional logic with purely constructive implication. Studia Logica, 46(4):371–382, 1987.
- Wim Ruitenburg. Basic logic and fregean set theory. Dirk van Dalen Festschrift, Questiones Infinitae, 5:121–142, 1992.
- Alex K Simpson. The proof theory and semantics of intuitionistic modal logic. 1994.
- Albert Visser. Aspects of Diagonalization and Provability. PhD thesis, University of Utrecht, 1981.
- Albert Visser. A propositional logic with explicit fixed points. Studia Logica, pages 155–175, 1981.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.