Tense operators on distributive lattices with implication

DOI10.1007/S11225-023-10047-4MaRDI QIDQ6115855zbMATH OpenOpenAlexFDO

Authors Gustavo Pelaitay, William Zuluaga

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 algebrasKleene algebrasNelson algebrastense DLI-algebrastense Heyting algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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.

Cites work

• Algebraic approach to tense operators
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Bounded distributive lattices with fusion and implication
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3604887 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Intuitionistic tense and modal logic
• Kleene algebras with implication
• Lattices With Involution
• Modes of adjointness
• N-lattices and constructive logic with strong negation
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Semilattice structures.
• Tense operators on De Morgan algebras
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras

Cited in

(4)

• Kleene algebras with implication
• A Stone-type duality for semilattices with adjunctions
• An alternative definition of tense operators on residuated lattices
• Heyting algebras with Kalman-Galois connections

This page was built for publication: Tense operators on distributive lattices with implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6115855)