Cylindric-like algebras and algebraic logic

zbMath1258.03003MaRDI QIDQ691561

No author found.

Publication date: 3 December 2012

Published in: Bolyai Society Mathematical Studies (Search for Journal in Brave)

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Collections of articles of miscellaneous specific interest (00B15) Other algebras related to logic (03G25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Cylindric and polyadic algebras; relation algebras (03G15) Axiomatic model classes (08C10)

Related Items (21)

Quasi-polyadic algebras and their dual position ⋮ Representations of polyadic-like equality algebras ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ On the representability of neatly embeddable CA's by cylindric relativized algebras ⋮ Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ Notions of representability for cylindric algebras: some algebras are more representable than others ⋮ Complete Representations and Neat Embeddings ⋮ How many varieties of cylindric algebras are there ⋮ The class of completely representable polyadic algebras of infinite dimensions is elementary ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Probabilities defined on standard and non-standard cylindric set algebras ⋮ Neat embeddings as adjoint situations ⋮ Cylindric algebras and finite polyadic algebras ⋮ Non-standard stochastics with a first order algebraization ⋮ On the definition and the representability of quasi-polyadic equality algebras ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets ⋮ Blow Up and Blur Constructions in Algebraic Logic ⋮ Freeing Structural Realism from Model Theory

This page was built for publication: Cylindric-like algebras and algebraic logic