The following pages link to (Q5681997):
Displaying 7 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- A sequent calculus for relation algebras (Q786804) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- A simple, purely algebraic proof of the completeness of some first order logics (Q1217805) (← links)
- Leon Henkin and Cylindric Algebras (Q3454804) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)