Studia logica, 2023-12, Vol.111 (6), p.1015-1036
2023
Details
- Autor(en) / Beteiligte
- Titel
- On Heyting Algebras with Negative Tense Operators
- Ist Teil von
- Studia logica, 2023-12, Vol.111 (6), p.1015-1036
- Ort / Verlag
- Dordrecht: Springer Netherlands
- Erscheinungsjahr
- 2023
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- 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.
- Sprache
- Englisch
- Identifikatoren
- ISSN: 0039-3215eISSN: 1572-8730DOI: 10.1007/s11225-023-10053-6Titel-ID: cdi_crossref_primary_10_1007_s11225_023_10053_6
- Format
- –
- Schlagworte
- Computational Linguistics, Education, Logic, Mathematical Logic and Foundations, Philosophy