Cylindric-like algebras and algebraic logic
From MaRDI portal
Publication:691561
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)- Neat embeddings as adjoint situations
- Non-standard stochastics with a first order algebraization
- On the algebraization of Henkin‐type second‐order logic
- Freeing Structural Realism from Model Theory
- scientific article; zbMATH DE number 6215727 (Why is no real title available?)
- Complete Representations and Neat Embeddings
- Quasi-polyadic algebras and their dual position
- Cylindric algebras and finite polyadic algebras
- On the definition and the representability of quasi-polyadic equality algebras
- On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- How many varieties of cylindric algebras are there
- On the representability of neatly embeddable CA's by cylindric relativized algebras
- Notions of representability for cylindric algebras: some algebras are more representable than others
- scientific article; zbMATH DE number 475235 (Why is no real title available?)
- Blow Up and Blur Constructions in Algebraic Logic
- Probabilities defined on standard and non-standard cylindric set algebras
- The cylindric algebras of three-valued logic
- Omitting types algebraically and more about amalgamation for modal cylindric algebras
- Interpolation and amalgamation in modal cylindric algebras
- The polyadic generalization of the Boolean axiomatization of fields of sets
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Representations of polyadic-like equality algebras
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)
