A categorical equivalence for tense Nelson algebras
From MaRDI portal
Publication:2115290
DOI10.1007/S11225-021-09960-3OpenAlexW3195875021MaRDI QIDQ2115290FDOQ2115290
Authors: 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
Recommendations
- An algebraic study of tense operators on Nelson algebras
- A categorial equivalence for semi-Nelson algebras
- A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
- On categorical equivalences of equality algebras and monadic equality algebras
- On the category of Nelson paraconsistent lattices
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?)
- Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
- 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
- Remarks on Heyting algebras with tense operators
- 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)
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)