Sciweavers

11 search results - page 1 / 3
» The Basic Theorem on Generalized Concept Lattice
Sort
View
CLA
2004
13 years 6 months ago
The Basic Theorem on Generalized Concept Lattice
In [4] we have presented a new common platform for different types of fuzzification of a concept lattice. Now we show a pendant of the basic theorem on clasical concept lattices fo...
Stanislav Krajci
ISCIS
2004
Springer
13 years 10 months ago
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...
Baris Sertkaya, Halit Oguztüzün
ORDER
2002
154views more  ORDER 2002»
13 years 4 months ago
Polyadic Concept Analysis
The framework and the basic results of Wille on triadic concept analysis, including his Basic Theorem of Triadic Concept Analysis, are here generalized to n-dimensional formal cont...
George Voutsadakis
EUSFLAT
2009
181views Fuzzy Logic» more  EUSFLAT 2009»
13 years 2 months ago
Fuzzy Concept Lattice is Made by Proto-Fuzzy Concepts
Abstract-- An L-fuzzy context is a triple consisting of a set of objects, a set of attributes and an L-fuzzy binary relation between them. An l-cut is a classical context over the ...
Ondrej Kridlo, Stanislav Krajci
CLA
2004
13 years 6 months ago
Planarity of Additively Drawn Concept Lattices
In Formal Concept Analysis, it is a very important but quite difficult task to draw line diagrams of concept lattices automatically. In particular, we want every planar lattice to ...
Christian Zschalig