Nonfinite axiomatizability results for cylindric and relation algebras
From MaRDI portal
Publication:4204149
DOI10.2307/2274756zbMath0686.03035OpenAlexW1975692240MaRDI QIDQ4204149
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274756
relation algebrasalgebraic semantics of first-order logicequational theory of representable cylindric algebras
Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras, Weakly representable but not representable relation algebras, On varieties of cylindric algebras with applications to logic, Subcompletions of representable relation algebras, Relation algebras of intervals, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, The calculus of relations as a foundation for mathematics, FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH, 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, A construction of cylindric and polyadic algebras from atomic relation algebras, A brief history of Tarskian algebraic logic with new perspectives and innovations, Notions of representability for cylindric algebras: some algebras are more representable than others, Existence of certain finite relation algebras implies failure of omitting types for \(L_n\), Algebraization of quantifier logics, an introductory overview, Pair-Dense Relation Algebras, A Completeness Result for Relation Algebra with Binders, Subsumption computed algebraically, Neat embeddings, omitting types, and interpolation: an overview, Strongly representable atom structures of relation algebras, Representations of distributive lattice-ordered semigroups with binary relations, Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, Finite methods in 1-order formalisms, The Neat Embedding Problem and the Number of Variables Required in Proofs, Algebraic Logic, Where Does it Stand Today?, Omitting types for algebraizable extensions of first order logic, Unnamed Item, Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic, Blow Up and Blur Constructions in Algebraic Logic, Canonical Relativized Cylindric Set Algebras, Tarskian Classical Relevant Logic, Łukasiewicz-Moisil relation algebras
Cites Work
