✦ LIBER ✦

A construction of cylindric and polyadic algebras from atomic relation algebras

✍ Scribed by Hodkinson, Ian

Book ID: 118777432
Publisher: Springer
Year: 2012
Tongue: English
Weight: 452 KB
Volume: 68
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s00012-012-0202-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Polyadic and cylindric algebras of sente

Polyadic and cylindric algebras of sentences

✍ Mohamed Amer; Tarek Sayed Ahmed 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB

## Abstract In this note we give an interpretation of cylindric algebras as algebras of sentences (rather than formulas) of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interp

Bare canonicity of representable cylindr

Bare canonicity of representable cylindric and polyadic algebras

✍ Bulian, Jannis; Hodkinson, Ian 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 466 KB

Note on Cylindric Algebras and Polyadic

Note on Cylindric Algebras and Polyadic Algebrasby A. H. Copeland,

✍ Review by: Paul R. Halmos 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 343 KB

Corrigendum to: “Relation algebra reduct

Corrigendum to: “Relation algebra reducts of cylindric algebras and complete representations”

✍ Hirsch, R. 📂 Article 📅 2013 🏛 Association for Symbolic Logic 🌐 English ⚖ 37 KB

Relation Algebra Reducts of Cylindric Al

Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory

✍ Robin Hirsch, Ian Hodkinson and Roger D. Maddux 📂 Article 📅 2002 🏛 Association for Symbolic Logic 🌐 English ⚖ 385 KB

Construction of vertex operator algebras

Construction of vertex operator algebras from commutative associative algebras

✍ Hung Lam, Ching 📂 Article 📅 1996 🏛 Taylor and Francis Group 🌐 English ⚖ 528 KB