Cylindric-like algebras and algebraic logic
From MaRDI portal
Publication:691561
zbMATH Open1258.03003MaRDI QIDQ691561FDOQ691561
Author name not available (Why is that?)
Publication date: 3 December 2012
Published in: Bolyai Society Mathematical Studies (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Model-theoretic algebra (03C60) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Axiomatic model classes (08C10)
Cited In (24)
- Non-standard stochastics with a first order algebraization
- Title not available (Why is that?)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- On the algebraization of Henkin‐type second‐order logic
- The cylindric algebras of three-valued logic
- Quasi-polyadic algebras and their dual position
- On the definition and the representability of quasi-polyadic equality algebras
- Cylindric algebras and finite polyadic algebras
- On the representability of neatly embeddable CA's by cylindric relativized algebras
- Interpolation and amalgamation in modal cylindric algebras
- Notions of representability for cylindric algebras: some algebras are more representable than others
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- Blow Up and Blur Constructions in Algebraic Logic
- Complete Representations and Neat Embeddings
- Omitting types algebraically and more about amalgamation for modal cylindric algebras
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Neat embeddings as adjoint situations
- How many varieties of cylindric algebras are there
- Freeing Structural Realism from Model Theory
- The polyadic generalization of the Boolean axiomatization of fields of sets
- Representations of polyadic-like equality algebras
- Probabilities defined on standard and non-standard cylindric set algebras
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- Title not available (Why is that?)
This page was built for publication: Cylindric-like algebras and algebraic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q691561)