Sciweavers

11 search results - page 1 / 3
» The Basic Theorem on Generalized Concept Lattice
Sort
View
81
Voted
CLA
2004
15 years 4 days 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
15 years 4 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»
14 years 10 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»
14 years 8 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
15 years 4 days 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