Product representation for default bilattices: an application of natural duality theory. (Q2259193): Difference between revisions

By a bilattice \(B\) is meant an algebra with four binary and one unary operations such that it is a lattice \(L_1\) with respect to the first two binary operations, it is a lattice \(L_2\) with respect to the second couple of binary operations and the unary operation preserves the lattice order of \(L_1\) and reverses the order of \(L_2\). Bilattice \(B\) is called `interlaced' if each pair of lattice operations is monotonic with respect to the other order. There exists a construction of a product of bilattices and the well-known Product Representation Theorem states that every interlaced bilattice can be expressed as a product of a certain bilattice given by a special construction. This theorem does not extend to bilattices which fail to be interlaced. The authors study a hierarchy of varieties of the so-called `default' bilattices and prove the Product Representation Theorem for default bilattices. They develop natural dualities for these varieties and hence obtain a concrete representation for bilattices in each of these varieties.