Pages that link to "Item:Q271687"
From MaRDI portal
The following pages link to Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687):
Displaying 5 items.
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- A finitary relational algebra for classical first order logic (Q3989924) (← links)
- The cylindric algebras of three-valued logic (Q4254678) (← links)
- Relation algebra reducts of cylindric algebras and an application to proof theory (Q4532609) (← links)