Stone lattices.

DOI10.1515/forma-2015-0031zbMath1339.06009OpenAlexW4231326182MaRDI QIDQ271910

Adam Grabowski

Publication date: 20 April 2016

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

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

zbMATH Keywords

pseudocomplemented latticesBoolean latticesformalization of latticeslattices of natural divisorsStone lattices

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Mechanization of proofs and logical operations (03B35) Structure theory of lattices (06B05) Pseudocomplemented lattices (06D15) Structure theory of Boolean algebras (06E05)

Uses Software

• Mizar

Cites Work

• Mechanizing complemented lattices within Mizar type system
• On square-free numbers
• Prime filters and ideals in distributive lattices
• Two axiomatizations of Nelson algebras.
• Lattice Theory: Foundation
• On a problem of M. H. Stone
• Mizar: State-of-the-art and Beyond
• Lattice Theory for Rough Sets
• Efficient Rough Set Theory Merging
• Unnamed Item
• Unnamed Item

This page was built for publication: Stone lattices.