Two axiomatizations of Nelson algebras.

DOI10.1515/FORMA-2015-0012zbMATH Open1318.06010OpenAlexW2247065077MaRDI QIDQ491776FDOQ491776

Authors: 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

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

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)

Cites Work

• Constructible falsity
• Mechanizing complemented lattices within Mizar type system
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Automated Discovery of Properties of Rough Sets
• Title not available (Why is that?)
• Equational characterization of Nelson algebra
• Robbins algebras vs. Boolean algebras
• Mathematical Knowledge Management
• Caracterisation des algèbres de Nelson par des egalités, I

Cited In (6)

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

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)