Relation algebra reducts of cylindric algebras and an application to proof theory
From MaRDI portal
Publication:4532609
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
Cites work
- Combinatorial Relations and Chromatic Graphs
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Cylindric algebras. Part II
- Handbook of philosophical logic. Vol. 8
- Relation algebras and projective geometries
- Relation algebras from cylindric and polyadic algebras
- Representations of integral relation 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
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Relation algebras from cylindric algebras. I
- Relation algebras from cylindric algebras. II
- scientific article; zbMATH DE number 1747697 (Why is no real title available?)
- The calculus of relations as a foundation for mathematics
- Omitting types for finite variable fragments and complete representations of algebras
- Neat embeddings, omitting types, and interpolation: an overview
- A note on substitutions in representable cylindric algebras
- The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
- Applied neat reducts on some classes of algebras
- 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)
