Pages that link to "Item:Q5681999"
From MaRDI portal
The following pages link to Cylindric Algebras and Algebras of Substitutions (Q5681999):
Displaying 10 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)