An algebraic study of tense operators on Nelson algebras

DOI10.1007/s11225-020-09907-0OpenAlexW3014494285MaRDI QIDQ2021568

Gustavo Pelaitay, Aldo V. Figallo, J. Sarmiento

Publication date: 27 April 2021

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

Full work available at URL: https://doi.org/10.1007/s11225-020-09907-0

zbMATH Keywords

tense operatorsNelson algebrasIKt-algebrastense Nelson algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Discrete duality for Nelson algebras with tense operators, A categorical equivalence for tense Nelson algebras

Cites Work

• 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
• Modes of adjointness
• Algebraic axiomatization of tense intuitionistic logic
• Nelson algebras through Heyting ones. I
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Subdirectly irreducible IKt-algebras
• Partial tense MV-algebras and related functions
• Tense operators on non-commutative residuated lattices
• Principal and Boolean congruences on \(IKt\)-algebras
• A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• DISCRETE DUALITY FOR TSH-ALGEBRAS
• N-lattices and constructive logic with strong negation
• Intuitionistic tense and modal logic
• Model theory for tense logics
• Temporal algebra
• Characterizing intermediate tense logics in terms of Galois connections
• A topological duality for tense $\boldsymbol{LM_n}$-algebras and applications1
• Algebraic semantics for modal logics I
• Constructible falsity