Cylindric Algebras and Algebras of Substitutions

DOI10.2307/1996074zbMath0266.02036OpenAlexW4230503948MaRDI QIDQ5681999

Charles C. Pinter

Publication date: 1973

Full work available at URL: https://doi.org/10.2307/1996074

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (10)

Bjarni Jónsson's contributions in algebra ⋮ The abstract variable-binding calculus ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ Lambda abstraction algebras: representation theorems ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Cylindric algebras and finite polyadic algebras ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ On the algebraic models of lambda calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Basic Concepts of Algebraic Logic
• Substitution algebras in their relation to cylindric algebras
• Transformation Algebras
• A proof of the completeness theorem of Grödel
• Boolean Algebras with Operators. Part I

This page was built for publication: Cylindric Algebras and Algebras of Substitutions