# Concept Equations

@article{Belohlvek2004ConceptE, title={Concept Equations}, author={Radim Belohl{\'a}vek}, journal={J. Log. Comput.}, year={2004}, volume={14}, pages={395-403} }

Studied in the paper are systems of equations which naturally arise in the formalization of the Port-Royal theory of concepts. The unknown quantity is a relation between objects and attributes. We study the case where the relation is fuzzy with truth values in a complete residuated lattice, covering therefore the special cases of complete Boolean algebras, Heyting algebras, MV-algebras etc. We answer the question of solvability, structure of solutions, and show how solvability of non-solvable…

## 8 Citations

### Multi-adjoint relation equations: Definition, properties and solutions using concept lattices

- Computer ScienceInf. Sci.
- 2013

### A general approach to fuzzy concepts

- ChemistryMath. Log. Q.
- 2004

A flexible way to build concepts within fuzzy logic and set theory that is general enough to capture some important particular cases, with their own independent interpretations, but also to allow the two universes to be equipped each with its own truth structure.

### Adjoint Triples and Residuated Aggregators

- Computer ScienceIPMU
- 2014

This paper presents the comparison of joint triples with other general operators considered in frameworks for fuzzy logic programming, formal concept analysis and fuzzy relation equations.

### Non-dual fuzzy connections

- Computer ScienceArch. Math. Log.
- 2004

Some kind of hardly describable ‘‘local preduality’’ still makes possible important parallel results and interesting new concepts besides antitone and isotone ones, that were classically reducible to the first, gain independency in fuzzy setting.

### Multi‐adjoint Relation Equations: A Decision Support System for Fuzzy Logic

- Computer ScienceInt. J. Intell. Syst.
- 2017

MARE is shown as a fundamental DSS in multi‐adjoint logic programming and two approximations of unsolvable equations will be obtained from a multiadjoint object‐oriented concept lattice theory.

### On Boolean factor analysis with formal concept as factors

- Computer Science
- 2006

Several results are proved, e.g. that each matrix is conceptfactorizable, that concept-factorizability is the best way to factorize binary matrices, describe sets of good factors, mandatory factors, etc.

### Optimal decompositions of matrices with entries from residuated lattices

- Mathematics, Computer ScienceJ. Log. Comput.
- 2012

It is shown that formal concepts of I, which play a central role in the Port-Royal approach to logic and which are the fixpoints of particular Galois connections associated to I, are optimal factors for decomposition of I in that they provide us with decompositions with the smallest number of factors.

### Akademie věd České republiky Teze doktorské disertačńı práce k źıskáńı vědeckého titulu“doktor věd” ve skupine věd “fyzikálně-matematické vědy” Concept lattices and attribute implications from data with fuzzy attributes komise pro obhajoby doktorských disertaćı v oboru “informati

- 2006

Akademie vědČeské republiky Teze doktorské disertační práce k získání vědeckého titulu " doktor věd " ve skupine věd " fyzikálně-matematické vědy " Concept lattices and attribute implications from…

## References

SHOWING 1-10 OF 14 REFERENCES

### Logical Precision in Concept Lattices

- Computer Science, PhilosophyJ. Log. Comput.
- 2002

It is argued that logical precision should be considered as a possible way to treat the problem of information granularity from the logical point of view.

### Fuzzy Galois Connections

- Computer ScienceMath. Log. Q.
- 1999

It is proved that fuzzy Galois connections are in one‐to‐one correspondence with binary fuzzy relations.

### Reduction and a Simple Proof of Characterization of Fuzzy Concept Lattices

- Computer ScienceFundam. Informaticae
- 2001

A simple proof of the characterization theorem for fuzzy concept lattices is obtained after a reduction of fuzzy Galois connections and fuzzy idea lattices to (crisp) Galoisconnections and concept lattice.

### Formal Concept Analysis: Mathematical Foundations

- Computer Science
- 1998

From the Publisher:
This is the first textbook on formal concept analysis. It gives a systematic presentation of the mathematical foundations and their relation to applications in computer science,…

### Similarity relations in concept lattices

- Computer ScienceJ. Log. Comput.
- 2000

A way to factorize (simplify) concept lattices by the similarity of concepts is shown and how to reduce the computation of the similarity relations is shown.

### Metamathematics of Fuzzy Logic

- Philosophy, Computer ScienceTrends in Logic
- 1998

This paper presents a meta-analysis of many-Valued Propositional Logic, focusing on the part of Lukasiewicz's Logic that deals with Complexity, Undecidability and Generalized Quantifiers and Modalities.

### Lattices of Fixed Points of Fuzzy Galois Connections

- MathematicsMath. Log. Q.
- 2001

It is shown that fixed points are naturally interpreted as concepts in the sense of traditional logic.

### [Formal concept analysis].

- PhysicsCasopis lekaru ceskych
- 1996

In the present paper the authors show in detail howormal Concept Analysis can be applied to the study of results obtained in clinical practice.