Cylindric-like algebras and algebraic logic

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)

Mathematics Subject Classification ID

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)