oaioai:CiteSeerX.psu:10.1.1.592.2193

On a Special Case of the Flexible Atom Conjecture

Abstract

A relation algebra is an algebra A = 〈A,+,−, ;, ̆ , 1’ 〉 of type (2, 1, 2, 1, 0), such that 〈A,+,− 〉 is a boolean algebra, 〈A, ;, ̆ , 1’ 〉 is an involuted monoid, and which satisfies the cycle law (x; y) · z 6 = 0 ⇐ ⇒ (z; y̆) · x 6 =

Similar works

Full text

thumbnail-image
oaioai:CiteSeerX.psu:10.1.1.592.2193Last time updated on 10/29/2017

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.