A categorical equivalence for tense Nelson algebras
From MaRDI portal
Publication:2115290
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
- scientific article; zbMATH DE number 3700832 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 475185 (Why is no real title available?)
- scientific article; zbMATH DE number 1028831 (Why is no real title available?)
- scientific article; zbMATH DE number 1416396 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- Algebraic axiomatization of tense intuitionistic logic
- Algebraic semantics for modal logics I
- An algebraic approach to non-classical logics
- An algebraic study of tense operators on Nelson algebras
- Characterizing intermediate tense logics in terms of Galois connections
- Constructible falsity
- Intuitionistic tense and modal logic
- Model theory for tense logics
- Nelson algebras through Heyting ones. I
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Partial tense MV-algebras and related functions
- Principal and Boolean congruences on \(IKt\)-algebras
- Remarks on Heyting algebras with tense operators
- Subdirectly irreducible IKt-algebras
- Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
- Tense operators on basic algebras
- Tense operators on non-commutative residuated lattices
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)
