Boolean concept logic

DOI10.1007/10722280_22MaRDI QIDQ2754239zbMATH OpenFDO

Authors Rudolf Wille

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722280_22

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Boolean judgment logic
• Algebras of semiconcepts and double Boolean algebras
• Dicomplemented lattices. A contextual generalization of Boolean algebras
• A topological representation of double Boolean lattices
• Concept Lattices

Cited in

(28)

• A catalog of Boolean concepts.
• A single axiom for Boolean algebras
• Deciding the word problem in pure double Boolean algebras
• Rough-set concept analysis: interpreting RS-definable concepts based on ideas from formal concept analysis
• Filters, ideals and congruences on double Boolean algebras
• Concept lattices with negative information: a characterization theorem
• Mathematical logic of notions and concepts
• On the isomorphism problem of concept algebras
• Rough sets determined by tolerances
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Topological representation of double Boolean algebras
• Boole's criteria for validity and invalidity
• Boolean judgment logic
• Threshold Boolean logic
• Boolean concept lattices and good contexts
• A Boolean computation approach of formal concepts
• A topological representation of double Boolean lattices
• Dicomplemented lattices. A contextual generalization of Boolean algebras
• Generalizations of Boolean algebras. An attribute exploration
• Context Algebras, Context Frames, and Their Discrete Duality
• Concept Lattices
• Algebras from Semiconcepts in Rough Set Theory
• On nontrivial weak dicomplementations and the lattice congruences that preserve them
• Kripke contexts, double Boolean algebras with operators and corresponding modal systems
• A new approach for imprecise probabilities
• Double Boolean algebras: constructions, sub-structures and morphisms
• On the logical and algebraic aspects of reasoning with formal contexts
• Finite distributive concept algebras

This page was built for publication: Boolean concept logic

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