Concept equations

Journal of Logic and Computation

Volumn 14, Issue 3, 2004, Pages 395-403

  Bělohlávek, Radim ^a,b  

^a PALACKÝ UNIVERSITY   (Czech Republic)

^b UNIVERSITY OF OSTRAVA   (Czech Republic)

Author keywords

Formal concept; Fuzzy logic; Port Royal logic; Relational equation

Indexed keywords

BOOLEAN ALGEBRA; FUZZY SETS; MAPPING; SET THEORY; STRUCTURAL ANALYSIS; THEOREM PROVING;

FORMAL CONCEPT; LOGICAL FORMULAE; PORT-ROYAL LOGIC; RELTIONAL EQUATIONS;

FORMAL LOGIC;

EID: 3042832356     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/14.3.395     Document Type: Article

References (14)

1. A. Arnauld and P. Nicole. La logique ou l'art de penser, 1662.
2. R. Bělohlávek. Fuzzy Galois connections. Mathematical Logic Quarterly, 45, 497-504, 1999.
3. R. Bělohlávek. Lattices of fixed points of fuzzy Galois connections. Math. Logic Quarterly, 47, 111-116, 2001.
4. R. Bělohlávek. Similarity relations in concept lattices. Journal of Logic and Computation, 10, 823-845, 2000.
5. R. Bělohlávek. Logical precision in concept lattices. Journal of Logic and Computation, 12, 137-148, 2002.
6. R. Bělohlávek. Concept lattices and order in fuzzy logic. Annals of Pure and Applied Logic (to appear).
7. B. Ganter and R. Wille. Applied lattice theory. In General Lattice Theory, G. Grätzer, ed. Birkhäuser Verlag, 1998.
8. B. Ganter and R. Wille. Formal Concept Analysis. Mathematical Foundations. Springer-Verlag, Berlin, 1999.
9. J. A. Goguen. L-fuzzy sets. Journal of Mathematical Analysis and Applications, 18, 145-174, 1967.
10. J. A. Goguen. The logic of inexact concepts. Synthese, 19, 325-373, 1968-69.
11. P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, 1998.
12. U. Höhle. On the fundamentals of fuzzy set theory. Journ. Math. Anal. Appl., 201, 786-826, 1996.
13. S. Pollandt. Fuzzy Begriffe. Springer-Verlag, Berlin, 1997.
14. R. Wille. Restructuring lattice theory: an approach based on hierarchies of concepts. In Ordered Sets, I. Rival, ed., pp. 445-470. Reidel, Dordrecht, Boston, 1982.