Two axiomatizations of Nelson algebras.

DOI10.1515/FORMA-2015-0012zbMath1318.06010OpenAlexW2247065077MaRDI QIDQ491776

Adam Grabowski

Publication date: 19 August 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0012

zbMATH Keywords

formalizationDe Morgan latticesNelson latticesquasi-pseudo-Boolean algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (1)

Stone lattices.

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mechanizing complemented lattices within Mizar type system
• An algebraic approach to non-classical logics
• Equational characterization of Nelson algebra
• Mathematical Knowledge Management
• Automated Discovery of Properties of Rough Sets
• Caracterisation des algèbres de Nelson par des egalités, I
• Constructible falsity

This page was built for publication: Two axiomatizations of Nelson algebras.