Three interpolation theorems for typeless logics

DOI10.1093/jigpal/jzq048zbMath1277.03068OpenAlexW2132326536MaRDI QIDQ4913997

Tarek Sayed Ahmed

Publication date: 17 April 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq048

zbMATH Keywords

interpolationamalgamationquasipolyadic algebraspolyadic algebrastypeless logics

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)

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