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
Boolean algebra; de Morgan algebra; formal concept analysis; Ockham algebra; Stone algebra; Kleene algebra; triple construction; attribute exploration; concept algebra
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
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