Quasi-Nelson algebras
From MaRDI portal
Publication:2333675
Recommendations
- Quasi-Nelson; or, non-involutive Nelson algebras
- Quasi-Nelson algebras and fragments
- Semi-Nelson algebras
- scientific article; zbMATH DE number 681965
- scientific article; zbMATH DE number 1217706
- Quasi-affine algebras
- scientific article; zbMATH DE number 4021379
- Quasi-commutative algebras
- scientific article; zbMATH DE number 4183634
- Characterisations of Nelson algebras
Cites work
- Algebraic semantics for Nelson's logic \(\mathcal{S}\)
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Algebraizable logics
- An algebraic approach to non-classical logics
- Bitopology and four-valued logic
- Compatibly involutive residuated lattices and the Nelson identity
- Constructible falsity
- Constructive logic with strong negation is a substructural logic. I
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 5268066 (Why is no real title available?)
- Multi-type display calculus for semi De Morgan logic
- Nelson algebras through Heyting ones. I
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On the representation of \(\mathbf{N4}\)-lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Semi-de Morgan algebras
- Some investigations of varieties of \({\mathcal N}\)-lattices
- The logic of distributive bilattices
Cited in
(21)- Representation of De Morgan and (semi-)Kleene lattices
- A duality for two-sorted lattices
- Twist structures and Nelson conuclei
- Compatibly involutive residuated lattices and the Nelson identity
- Implicative twist-structures
- Quasi-Nelson; or, non-involutive Nelson algebras
- The logic Ł•
- Two axiomatizations of Nelson algebras.
- Quasi-Nelson algebras and fragments
- Fragments of quasi-Nelson: the algebraizable core
- Negation and Implication in Quasi-Nelson Logic
- Characterisations of Nelson algebras
- Fragments of quasi-Nelson: two negations
- Prelinearity in (quasi-)Nelson logic
- Fragments of quasi-Nelson: residuation
- Quotient NBCK-algebras
- Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras
- Nelson conuclei and nuclei: the twist construction beyond involutivity
- Kamide is in America, Moisil and Leitgeb are in Australia
- (In)consistency operators on quasi-Nelson algebras
- Recovery operators in quasi-Nelson logic: the prelinear case
This page was built for publication: Quasi-Nelson algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2333675)
