On Heyting algebras with negative tense operators

DOI10.1007/S11225-023-10053-6arXiv2212.14756MaRDI QIDQ6067747

Federico Almiñana, William Zuluaga, Gustavo Pelaitay

Publication date: 17 November 2023

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

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

zbMATH Keywords

Heyting algebrastense operatorsGalois negationsnegative tense operators

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Algebraic axiomatization of tense intuitionistic logic
• Negation in the context of gaggle theory
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Subdirectly irreducible IKt-algebras
• Amalgamation and interpolation in ordered algebras.
• Intuitionistic propositional logic with Galois negations
• Heyting Algebras with Operators
• Algebraizable logics
• Characterizing intermediate tense logics in terms of Galois connections
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Heyting algebras with negative tense operators