scientific article; zbMATH DE number 5031030

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Boolean algebrade Morgan algebraformal concept analysisOckham algebraStone algebraKleene algebratriple constructionattribute explorationconcept algebra

Mathematics Subject Classification ID

Knowledge representation (68T30) Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Pseudocomplemented lattices (06D15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05)

Related Items (4)

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

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

This page was built for publication: