Switch to: References

Add citations

You must login to add citations.
  1. Distributed Relation Logic.Gerard Allwein, William L. Harrison & Thomas Reynolds - 2017 - Logic and Logical Philosophy 26 (1):19-61.
    We extend the relational algebra of Chin and Tarski so that it is multisorted or, as we prefer, typed. Each type supports a local Boolean algebra outfitted with a converse operator. From Lyndon, we know that relation algebras cannot be represented as proper relation algebras where a proper relation algebra has binary relations as elements and the algebra is singly-typed. Here, the intensional conjunction, which was to represent relational composition in Chin and Tarski, spans three different local algebras, thus the (...)
    Direct download (2 more)  
    Export citation