Discrete duality for Nelson algebras with tense operators

DOI10.1007/s11225-022-10013-6OpenAlexW4296962497MaRDI QIDQ2699011

Gustavo Pelaitay, J. Sarmiento, Aldo V. Figallo

Publication date: 26 April 2023

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

Full work available at URL: https://doi.org/10.1007/s11225-022-10013-6

zbMATH Keywords

tense operatorsNelson algebrasdiscrete dualitytense Nelson algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nelson algebras through Heyting ones. I
• Some investigations of varieties of \({\mathcal N}\)-lattices
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• An algebraic study of tense operators on Nelson algebras
• A categorical equivalence for tense Nelson algebras
• N-lattices and constructive logic with strong negation
• Tense De Morgan S4-algebras
• Tense operators on De Morgan algebras
• Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Duality via Truth: Semantic frameworks for lattice-based logics
• Boolean Algebras with Operators. Part I

This page was built for publication: Discrete duality for Nelson algebras with tense operators