The class of polyadic algebras has the super amalgamation property
From MaRDI portal
Publication:3406455
DOI10.1002/malq.200810040zbMath1191.03048OpenAlexW1994062467MaRDI QIDQ3406455
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
Related Items (6)
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
This page was built for publication: The class of polyadic algebras has the super amalgamation property