A categorical equivalence for tense Nelson algebras

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

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)

Cites Work

• Algebraic semantics for modal logics I
• Constructible falsity
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Tense operators on basic algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic axiomatization of tense intuitionistic logic
• Nelson algebras through Heyting ones. I
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Title not available (Why is that?)
• Intuitionistic tense and modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory for tense logics
• Title not available (Why is that?)
• Characterizing intermediate tense logics in terms of Galois connections
• 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

Cited In (1)

• Discrete duality for Nelson algebras with tense operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2115290)