The class of polyadic algebras has the super amalgamation property

DOI10.1002/malq.200810040zbMath1191.03048OpenAlexW1994062467MaRDI QIDQ3406455

Tarek Sayed Ahmed

Publication date: 16 February 2010

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200810040

zbMATH Keywords

algebraic logicamalgamationpolyadic algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality, Varying interpolation and amalgamation in polyadic MV-algebras, New perspectives in algebraic logic, from neat embeddings to Erdős graphs, The class of completely representable polyadic algebras of infinite dimensions is elementary, Interpolation and amalgamation in modal cylindric algebras, Neat embeddings as adjoint situations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Amalgamation and interpolation in normal modal logics
• Logic in algebraic form. Three languages and theories
• Freedom in polyadic algebras and two theorems of Beth and Craig
• An Interpolation Theorem for First Order Logic with Infinitary Predicates
• Algebraic Logic, Where Does it Stand Today?
• A complete first-order logic with infinitary predicates
• Representation theory for polyadic algebras