Semiconcept and protoconcept algebras: The basic theorems

MaRDI QIDQ5493135zbMATH OpenFDO

Authors Björn Vormbrock, Rudolf Wille

Publication date 20 October 2006

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Knowledge representation (68T30)

Recommendations

• Algebras of semiconcepts and double Boolean algebras
• Formal Concept Analysis
• Algebras from Semiconcepts in Rough Set Theory
• The structure of double Boolean algebras
• Object oriented protoconcepts and logics for double and pure double Boolean algebras

Cited in

(15)

• Deciding the word problem in pure double Boolean algebras
• Filters, ideals and congruences on double Boolean algebras
• Approximation operators based on preconcepts
• On the isomorphism problem of concept algebras
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Topological representation of double Boolean algebras
• Algebras of semiconcepts and double Boolean algebras
• Lattice-valued topological systems as a framework for lattice-valued formal concept analysis
• The structure of double Boolean algebras
• Some algebraic problems in the context of functorial semantics of algebraic theories
• Formal Concept Analysis
• Algebras from Semiconcepts in Rough Set Theory
• Kripke contexts, double Boolean algebras with operators and corresponding modal systems
• Double Boolean algebras: constructions, sub-structures and morphisms
• On the logical and algebraic aspects of reasoning with formal contexts

This page was built for publication: Semiconcept and protoconcept algebras: The basic theorems

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