Tense operators on distributive lattices with implication

DOI10.1007/s11225-023-10047-4arXiv2208.13889OpenAlexW4366984531MaRDI QIDQ6115855

William Zuluaga, Gustavo Pelaitay

Publication date: 10 August 2023

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.13889

zbMATH Keywords

Heyting algebrasNelson algebrasKleene algebrastense DLI-algebrastense Heyting algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modes of adjointness
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Bounded distributive lattices with fusion and implication
• Kleene algebras with implication
• N-lattices and constructive logic with strong negation
• Intuitionistic tense and modal logic
• Tense operators on De Morgan algebras
• Lattices With Involution