Reports on Mathematical Logic

No. 27 (1993)


Sven Ove HANSSON

A NOTE ON ANTI-CYCLIC PROPERTIES OF COMPLETE BINARY RELATIONS

A b s t r a c t. A simplified notation is introduced for transitivity and related properties of binary relations. Interrelations of such properties can be proved in a facilitated way with manipulation-rules that the new notation makes possible.


Back to Main Menu