Algebraic Logic, Where Does it Stand Today?
From MaRDI portal
Publication:5472642
DOI10.2178/bsl/1130335206zbMath1111.03053OpenAlexW1966591210MaRDI QIDQ5472642
Publication date: 12 June 2006
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1130335206
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15) Algebraic logic (03Gxx)
Related Items
Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ A note on neat reducts ⋮ On the representability of neatly embeddable CA's by cylindric relativized algebras ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ Seurat games on Stockmeyer graphs ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Omitting types for finite variable fragments and complete representations of algebras ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Probabilities defined on standard and non-standard cylindric set algebras ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Neat embeddings as adjoint situations ⋮ Some results about neat reducts ⋮ Non-standard stochastics with a first order algebraization ⋮ On complete representations of reducts of polyadic algebras ⋮ Strong Amalgamation in Systems of Varieties ⋮ A note on substitutions in representable cylindric algebras ⋮ Omitting types for algebraizable extensions of first order logic ⋮ On a theorem of Vaught for first order logic with finitely many variables ⋮ The class of polyadic algebras has the super amalgamation property ⋮ Varieties of Algebras without the Amalgamation Property
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relation algebras by games
- The representation of relation algebras. II
- A sequent calculus for relation algebras
- Cylindric algebras. Part II
- The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
- Amalgamation and interpolation in normal modal logics
- A simple, purely algebraic proof of the completeness of some first order logics
- On universal algebraic constructions of logics
- Modal languages and bounded fragments of predicate logic
- Notions of density that imply representability in algebraic logic
- Atom structures of cylindric algebras and relation algebras
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Relation algebras with \(n\)-dimensional relational bases
- On representable relation algebras
- Amalgamation, congruence-extension, and interpolation properties in algebras
- The representation of relational algebras
- Representability is not decidable for finite relation algebras
- The class of 2-dimensional neat reducts is not elementary
- Strongly representable atom structures of relation algebras
- On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
- Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
- Omitting types and the real line
- Isomorphic but not lower base-isomorphic cylindric set algebras
- Finitary Algebraic Logic
- The equational theory of CA3 is undecidable
- Relation algebras of every dimension
- Non-finite-axiomatizability results in algebraic logic
- Nonfinite axiomatizability results for cylindric and relation algebras
- Rectangular games
- Tarski's System of Geometry
- Undecidable semiassociative relation algebras
- Finitary algebraic logic II
- Step by step – Building representations in algebraic logic
- Complete representations in algebraic logic
- A completeness theorem for higher order logics
- Algebraic polymodal logic: a survey
- On the equational theory of representable polyadic equality algebras
- Relation algebra reducts of cylindric algebras and an application to proof theory
- On modal logics betweenK × K × KandS5 × S5 × S5
- Cylindric-relativised set algebras have strong amalgamation
- Provability with Finitely Many Variables
- Cylindric modal logic
- Omitting types in incomplete theories
- Nonfinitizability of classes of representable cylindric algebras
- On an algebra of sets of finite sequences
- Relativized relation algebras
- Persistence and atomic generation for varieties of Boolean algebras with operators
- On neat reducts of algebras of logic
- Relation algebras from cylindric algebras. I
- Relation algebras from cylindric algebras. II
