A categorical equivalence for tense Nelson algebras

DOI10.1007/S11225-021-09960-3OpenAlexW3195875021MaRDI QIDQ2115290

Aldo V. Figallo, Jonathan Sermento, Gustavo Pelaitay

Publication date: 15 March 2022

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

Full work available at URL: https://doi.org/10.1007/s11225-021-09960-3

zbMATH Keywords

Heyting algebrastense operatorsNelson algebrasIKt-algebrastense Nelson algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Discrete duality for Nelson algebras with tense operators

Cites Work

• Tense operators on basic algebras
• Algebraic axiomatization of tense intuitionistic logic
• Nelson algebras through Heyting ones. I
• 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
• An algebraic study of tense operators on Nelson algebras
• Intuitionistic tense and modal logic
• Model theory for tense logics
• Characterizing intermediate tense logics in terms of Galois connections
• Algebraic semantics for modal logics I
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A categorical equivalence for tense Nelson algebras