The following pages link to (Q4011716):
Displaying 7 items.
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)