An algebraic axiomatization of the Ewald's intuitionistic tense logic

DOI10.1007/S00500-014-1317-6zbMath1325.03018OpenAlexW2122705115MaRDI QIDQ894527

Gustavo Pelaitay, Aldo V. Figallo

Publication date: 1 December 2015

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-014-1317-6

zbMATH Keywords

Heyting algebrasintuitionistic logictense operatorsintuitionistic tense logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (9)

On the finite model property of weak intuitionistic tense logic ⋮ Subdirectly irreducible IKt-algebras ⋮ On Heyting algebras with negative tense operators ⋮ Tense operators on distributive lattices with implication ⋮ Intuitionistic propositional logic with Galois negations ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tense operators on basic algebras
• Algebraic axiomatization of tense intuitionistic logic
• Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• Dynamic effect algebras and their representations
• Dynamic effect algebras
• Tense SHn--algebras
• DISCRETE DUALITY FOR TSH-ALGEBRAS
• Intuitionistic tense and modal logic
• Tense operators on De Morgan algebras

This page was built for publication: An algebraic axiomatization of the Ewald's intuitionistic tense logic