Production-logic relations on complete lattices

  • Authors:

  • S. D. Makhortov

  • Affiliations:

  • Voronezh State University, Voronezh, Russia

  • Venue:
  • Automation and Remote Control
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.