Relation algebra reducts of cylindric algebras and an application to proof theory

DOI10.2178/jsl/1190150037zbMath1005.03052OpenAlexW2080847836MaRDI QIDQ4532609

Roger D. Maddux, I. M. Hodkinson, Robin Hirschl

Publication date: 29 October 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1190150037

zbMATH Keywords

relation algebraspredicate logicproof systemcylindric algebras

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (19)

A note on neat reducts ⋮ Subcompletions of representable relation algebras ⋮ THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS ⋮ The calculus of relations as a foundation for mathematics ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ Applied neat reducts on some classes of algebras ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Complete Representations and Neat Embeddings ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Omitting types for finite variable fragments and complete representations of algebras ⋮ Unnamed Item ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Some results about neat reducts ⋮ Relation algebras from cylindric algebras. I ⋮ Relation algebras from cylindric algebras. II ⋮ A note on substitutions in representable cylindric algebras ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic

Cites Work

• Handbook of philosophical logic. Vol. 8
• Relation algebras and projective geometries
• Cylindric algebras. Part II
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Representations of integral relation algebras
• Relation algebras from cylindric and polyadic algebras
• Combinatorial Relations and Chromatic Graphs

This page was built for publication: Relation algebra reducts of cylindric algebras and an application to proof theory