The following pages link to (Q4011716):
Displayed 5 items.
- 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)