✦ LIBER ✦

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

✍ Scribed by Robin Hirsch, Ian Hodkinson and Roger D. Maddux

Book ID: 124978665
Publisher: Association for Symbolic Logic
Year: 2002
Tongue: English
Weight: 385 KB
Volume: 67
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2695003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

An Application of Graph Theory to Algebr

An Application of Graph Theory to Algebra

✍ Richard G. Swan 📂 Article 📅 1963 🏛 American Mathematical Society 🌐 English ⚖ 181 KB

An application of infinitary universal a

An application of infinitary universal algebra to set theory

✍ K. -H. Diener 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 496 KB

Theory of substitutions and its applicat

Theory of substitutions and its applications to algebra

✍ Eugen Netto 📂 Library 📅 2010 🏛 Nabu Press 🌐 English ⚖ 3 MB

Publisher: Ann Arbor, Mich. Register Pub. Co Publication date: 1892 Subjects: Equations, Theory of Groups, Theory of Notes: This is an OCR reprint. There may be typos or missing text. There are no illustrations or indexes. When you buy the General Books edition of this book you get free trial access

[Lecture Notes in Mathematics] C*-Algebr

[Lecture Notes in Mathematics] C*-Algebras and Applications to Physics Volume 650 || On the algebraic reduction theory for countable direct summand C*-algebras of separable C*-algebras

✍ Araki, Huzihiro; Kadison, Richard V. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 278 KB

Weakly ordered multiplicative basis of a

Weakly ordered multiplicative basis of an algebra related to quiver theory

✍ Haiyan Zhu; Fang Li 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 299 KB