Formalization of generalized almost distributive lattices.

DOI10.2478/FORMA-2014-0026MaRDI QIDQ2344193zbMATH OpenOpenAlexFDO

Authors Adam Grabowski

Publication date 12 May 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2014-0026

zbMATH Keywords

formalization of latticesformalized mathematicslattice identitiesgeneralized almost distributive lattices

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Mechanization of proofs and logical operations (03B35) Generalizations of lattices (06B75) Other generalizations of distributive lattices (06D75)

Recommendations

• Generalized almost distributive lattices. I
• L-ALMOST DISTRIBUTIVE LATTICES
• Generalized almost distributive lattices. II
• B-almost distributive lattices.
• Dual \(L\)-almost distributive lattices.

Cites work

• scientific article; zbMATH DE number 3679888 (Why is no real title available?)
• scientific article; zbMATH DE number 3741466 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Generalized almost distributive lattices. I
• Introduction to formal preference spaces
• Lattice Theory: Foundation
• Mathematical Knowledge Management

Cited in

(7)

• Dense elements in almost distributive lattices
• scientific article; zbMATH DE number 6304244 (Why is no real title available?)
• Generalized almost distributive lattices. I
• Generalized almost distributive lattices. II
• Formalizing two generalized approximation operators
• The Development of the Theory of Almost Distributive Lattices
• scientific article; zbMATH DE number 3968647 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Formalization of generalized almost distributive lattices.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344193)