Recommendations
Cites work
- scientific article; zbMATH DE number 3134289 (Why is no real title available?)
- scientific article; zbMATH DE number 4197282 (Why is no real title available?)
- An algebraic approach to non-classical logics
- Automated Discovery of Properties of Rough Sets
- Caracterisation des algèbres de Nelson par des egalités, I
- Constructible falsity
- Equational characterization of Nelson algebra
- Mathematical Knowledge Management
- Mechanizing complemented lattices within Mizar type system
- Robbins algebras vs. Boolean algebras
Cited in
(6)
This page was built for publication: Two axiomatizations of Nelson algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q491776)