Two axiomatizations of Nelson algebras.

DOI10.1515/FORMA-2015-0012MaRDI QIDQ491776zbMATH OpenOpenAlexFDO

Authors Adam Grabowski

Publication date 19 August 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

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)

Recommendations

• Characterisations of Nelson algebras
• Representation of Nelson algebras by rough sets determined by quasiorders
• Publication:4892376
• Fragments of quasi-Nelson: two negations
• Quasi-Nelson algebras

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)

• Characterisations of Nelson algebras
• Stone lattices.
• Nelson algebras through Heyting ones. I
• Construction of Nelson algebras
• The logic Ł^•
• Information completeness in Nelson algebras of rough sets induced by quasiorders

Describes a project that uses

Uses Software

• Mizar

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)