Interpolation and amalgamation in modal cylindric algebras

DOI10.2989/16073606.2019.1605628zbMath1461.03059OpenAlexW2943486791MaRDI QIDQ5149742

Tarek Sayed Ahmed

Publication date: 8 February 2021

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2989/16073606.2019.1605628

zbMATH Keywords

interpolationalgebraic logicamalgamationmodal predicate logiccylindric algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)

Related Items (1)

Omitting types algebraically and more about amalgamation for modal cylindric algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A representation theorem for polyadic Heyting algebras
• Cylindric-like algebras and algebraic logic
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Amalgamation and interpolation in normal modal logics
• Algebraization of quantifier logics, an introductory overview
• Chang's modal operators in algebraic logic
• Freedom in polyadic algebras and two theorems of Beth and Craig
• Amalgamation, congruence-extension, and interpolation properties in algebras
• The algebra of topology
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• The class of polyadic algebras has the super amalgamation property
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
• The Interior Operator Logic and Product Topologies
• Algebraic Analysis of the Topological Logic L(I)
• Algebraic Semantics for Modal Predicate Logic
• Completeness theorems for topological models
• Representability and amalgamation for Heyting polyadic algebras
• Algebraic Logic, Where Does it Stand Today?
• On weak and strong interpolation in algebraic logics
• Nonfinitizability of classes of representable cylindric algebras
• Amalgamation of Polyadic Algebras

This page was built for publication: Interpolation and amalgamation in modal cylindric algebras