Relation algebras as residuated Boolean
β
Bjarni JΓ³nsson; Constantine Tsinakis
π
Article
π
1993
π
Springer
π
English
β 357 KB