On contexts of direct products, ordinal sums and ordinal products. (English) Zbl 1123.06003

Summary: Given regular contexts of lattices \(L_1\) and \(L_2\), we describe how to construct regular contexts of their direct product. We show that the regular contexts of ordinal sums and products of two lattices can be constructed from the contexts determined by \(L_1\) and \(L_2\) in the case of \(L_1\otimes L_2\) and from the order matrix of \(L_1\) and from the context determined by \(L_2\) in the case of \(L_1\odot L_2\).


06B05 Structure theory of lattices
06B23 Complete lattices, completions
68T30 Knowledge representation
Full Text: EuDML