Publication:5472331

zbMath1150.03342MaRDI QIDQ5472331

Christian Pech, Heiko Reppe, Léonard Kwuida

Publication date: 9 June 2006

Full work available at URL: https://eudml.org/doc/31994

zbMATH Keywords

Boolean algebra; de Morgan algebra; formal concept analysis; Ockham algebra; Stone algebra; Kleene algebra; triple construction; attribute exploration; concept algebra

Mathematics Subject Classification ID

68T30: Knowledge representation

03G10: Logical aspects of lattices and related structures

06B23: Complete lattices, completions

03G25: Other algebras related to logic

06C15: Complemented lattices, orthocomplemented lattices and posets

06D15: Pseudocomplemented lattices

06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)

06E05: Structure theory of Boolean algebras

03G05: Logical aspects of Boolean algebras

Related Items

A class of sub-almost distributive lattices in an associate almost distributive lattice through a filter, Algebras from Semiconcepts in Rough Set Theory, Interactive error correction in implicative theories, A single axiom for Boolean algebras

Cites Work

• Constructions of p-algebras
• Distributive lattices with a dual homomorphic operation
• A logic for rough sets
• Quantum logic as a fragment of independence-friendly logic
• Pseudo-complements in semi-lattices
• On the MacNeille Completion of Weakly Dicomplemented Lattices
• Stone Lattices. I: Construction Theorems
• Über eine Konstruktion der distributiven pseudokomplementären Verbände
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• The Theory of Representation for Boolean Algebras
• Lattices With Unique Complements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item