The following pages link to (Q4250068):
Displaying 7 items.
- Necessary subalgebras of simple nonintegral semiassociative relation algebras (Q757364) (← links)
- A sequent calculus for relation algebras (Q786804) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- A new formalism for relational algebra (Q1186599) (← links)
- Relation algebras with binders (Q2772881) (← links)
- (Q4612556) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)