An equational theory for trilattices (Q5950770)
From MaRDI portal
scientific article; zbMATH DE number 1682620
Language | Label | Description | Also known as |
---|---|---|---|
English | An equational theory for trilattices |
scientific article; zbMATH DE number 1682620 |
Statements
An equational theory for trilattices (English)
0 references
16 December 2001
0 references
The triadic approach to Formal Concept Analysis was introduced by R. Wille in 1995. It gives rise to so-called trilattices which are sets with three orders satisfying the so-called uniqueness condition and antiordinal dependency where certain operations, so-called ik-joins, exists. Algebraically, they are characterized by nine types of trilattice equations. The Reduction Theorem guarantees that if ik-joins of arity \((2,2)\) exist then all finitary ik-joins exist. An axiomatization of these operations is included in Theorems 3.1 and 4.1.
0 references
trilattice
0 references
order
0 references
quasiorder
0 references
ik-join
0 references
formal concept analysis
0 references