On the isomorphism problem of concept algebras

DOI10.1007/S10472-010-9194-XzbMATH Open1239.06008arXiv1002.0910OpenAlexW2123027737MaRDI QIDQ2430352FDOQ2430352

Authors: Léonard Kwuida, Hajime Machida 

Publication date: 6 April 2011

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Abstract: Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {it concepts}. They have been introduced to capture the equational theory of concept algebras cite{Wi00}. They generalize Boolean algebras. Concept algebras are concept lattices, thus complete lattices, with a weak negation and a weak opposition. A special case of the representation problem for weakly dicomplemented lattices, posed in cite{Kw04}, is whether complete {wdl}s are isomorphic to concept algebras. In this contribution we give a negative answer to this question (Theorem ef{T:main}). We also provide a new proof of a well known result due to M.H. Stone cite{St36}, saying that {em each Boolean algebra is a field of sets} (Corollary ef{C:Stone}). Before these, we prove that the boundedness condition on the initial definition of {wdl}s (Definition ef{D:wdl}) is superfluous (Theorem ef{T:wcl}, see also cite{Kw09}).

Full work available at URL: https://arxiv.org/abs/1002.0910

Recommendations

• On isomorphism theorems in IS-algebras
• scientific article; zbMATH DE number 5841253
• On the isomorphism problem for some classes of computable algebraic structures
• scientific article; zbMATH DE number 561525
• Publication:3480109
• scientific article; zbMATH DE number 4154700
• scientific article; zbMATH DE number 1546981
• scientific article; zbMATH DE number 3922732
• The semantic isomorphism theorem in abstract algebraic logic
• scientific article; zbMATH DE number 2188953

zbMATH Keywords

formal concept analysisBoolean algebrasrepresentation problemfield of setsconcept algebrasweakly dicomplemented lattices

Mathematics Subject Classification ID

Knowledge representation (68T30) Complemented lattices, orthocomplemented lattices and posets (06C15) Generalizations of Boolean algebras (06E75)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Theory of Representation for Boolean Algebras
• Lattices With Unique Complements
• Semiconcept and protoconcept algebras: The basic theorems
• Title not available (Why is that?)
• Treating incomplete knowledge in formal concept analysis
• Negation. A notion in focus. Proceedings volume of an interdisciplinary workshop held during the conference Analyomen 2 of the Gesellschaft für Analytische Philosophie (GAP), Leipzig, Germany, September 7--10, 1994
• Title not available (Why is that?)
• Dicomplemented lattices. A contextual generalization of Boolean algebras
• Finite distributive concept algebras
• Formal Concept Analysis
• Negations and contrapositions of complete lattices
• Algebras of semiconcepts and double Boolean algebras
• Concept Lattices
• Generating Positive and Negative Exact Rules Using Formal Concept Analysis: Problems and Solutions
• Formal Concept Analysis

Cited In (6)

• On nontrivial weak dicomplementations and the lattice congruences that preserve them
• Title not available (Why is that?)
• Concept Lattices
• A single axiom for Boolean algebras
• A discrete representation for dicomplemented lattices
• Generalized one-sided concept lattices with attribute preferences

This page was built for publication: On the isomorphism problem of concept algebras

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