Three interpolation theorems for typeless logics

DOI10.1093/JIGPAL/JZQ048zbMATH Open1277.03068OpenAlexW2132326536MaRDI QIDQ4913997FDOQ4913997

Tarek Sayed Ahmed

Publication date: 17 April 2013

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

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

zbMATH Keywords

interpolationamalgamationpolyadic algebrasquasipolyadic algebrastypeless logics

Mathematics Subject Classification ID

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

Cited In (3)

• Varying interpolation and amalgamation in polyadic MV-algebras
• On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs

This page was built for publication: Three interpolation theorems for typeless logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913997)