Production-logic relations on complete lattices
Сергей Дмитриевич Махортов · Automation and Remote Control · 2012
An algebraic system containing production-logic binary relations on a complete lattice is introduced. Some properties of such relations are studied without the use of recursions. The existence of a logical closure of a noetherian binary relation is proved. This allows for defining the notion of an equivalent relation.