Nonfinite axiomatizability results for cylindric and relation algebras
From MaRDI portal
Recommendations
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations
- The class of representable cylindric algebras has no canonical axiomatization
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them
- Non-finite-axiomatizability results in algebraic logic
Cites work
Cited in
(43)- On varieties of cylindric algebras with applications to logic
- One variable is not enough for defining relation algebras, but two are
- Algebraization of quantifier logics, an introductory overview
- Subsumption computed algebraically
- Weakly representable but not representable relation algebras
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations
- Subcompletions of representable relation algebras
- A construction of cylindric and polyadic algebras from atomic relation algebras
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- Relation algebras of intervals
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- Representations of distributive lattice-ordered semigroups with binary relations
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
- Strongly representable atom structures of relation algebras
- scientific article; zbMATH DE number 5883874 (Why is no real title available?)
- The Neat Embedding Problem and the Number of Variables Required in Proofs
- Axiomatizations and a Noncooperative Interpretation of the α-CIS Value
- Omitting types for algebraizable extensions of first order logic
- Canonical Relativized Cylindric Set Algebras
- Bare canonicity of representable cylindric and polyadic algebras
- Pair-Dense Relation Algebras
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Hyperidentities and related concepts. II
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
- A completeness result for relation algebra with binders
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Blow Up and Blur Constructions in Algebraic Logic
- Tarskian Classical Relevant Logic
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
- Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them
- Algebraic Logic, Where Does it Stand Today?
- Neat embeddings, omitting types, and interpolation: an overview
- Relation algebras from cylindric algebras. I
- Relation algebras from cylindric algebras. II
- Finite methods in 1-order formalisms
- Omitting Types in Fragments and Extensions of First Order Logic
- On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
- Seurat games on Stockmeyer graphs
- Notions of representability for cylindric algebras: some algebras are more representable than others
- Transposition of variables is hard to axiomatize
- Łukasiewicz-Moisil relation algebras
- The calculus of relations as a foundation for mathematics
This page was built for publication: Nonfinite axiomatizability results for cylindric and relation algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4204149)
