Relation algebra reducts of cylindric algebras and an application to proof theory
DOI10.2178/JSL/1190150037zbMATH Open1005.03052OpenAlexW2080847836MaRDI QIDQ4532609FDOQ4532609
Authors: Roger Maddux, Robin Hirsch, Ian Hodkinson 
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
Recommendations
- The Neat Embedding Problem and the Number of Variables Required in Proofs
- Nonfinite axiomatizability results for cylindric and relation algebras
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
- Relation algebras from cylindric and polyadic algebras
- Geometrical representation theorems for cylindric-type algebras
Proof theory in general (including proof-theoretic semantics) (03F03) Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Cylindric algebras. Part II
- Relation algebras and projective geometries
- Combinatorial Relations and Chromatic Graphs
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Handbook of philosophical logic. Vol. 8
- Representations of integral relation algebras
- Relation algebras from cylindric and polyadic algebras
Cited In (25)
- Polyadic and cylindric algebras of sentences
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
- The Neat Embedding Problem and the Number of Variables Required in Proofs
- Algebraic Logic, Where Does it Stand Today?
- Subcompletions of representable relation algebras
- Relation algebras from cylindric algebras. I
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Relation algebras from cylindric algebras. II
- Title not available (Why is that?)
- Omitting types for finite variable fragments and complete representations of algebras
- The calculus of relations as a foundation for mathematics
- Neat embeddings, omitting types, and interpolation: an overview
- A note on substitutions in representable cylindric algebras
- Applied neat reducts on some classes of algebras
- The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
- Some results about neat reducts
- On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Complete Representations and Neat Embeddings
- Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
- A note on neat reducts
- Nonfinite axiomatizability results for cylindric and relation algebras
This page was built for publication: Relation algebra reducts of cylindric algebras and an application to proof theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532609)
