ALGEBRAICITY AND THE TENSOR PRODUCT OF CONCEPT LATTICES
Bogdan Chornomaz · 2014
Abstract. In this paper we prove that the tensor product of complete lattices, as it is defined in formal context analysis, preserves algebraicity. The proof of this fact is based on the compactness of propositional logic. We use this property to show that the box product of p0,_q-semilattices, introduced by G.Grätzer and F.Wehrung in 1999, can be obtained from the tensor product of concept lattices in a manner similar to how it is done in the definition of tensor product in “general ” lattice theory. 1.