Three interpolation theorems for typeless logics

DOI10.1093/JIGPAL/JZQ048MaRDI QIDQ4913997zbMATH OpenOpenAlexFDO

Authors 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

amalgamationinterpolationpolyadic algebrasquasipolyadic algebrastypeless logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4089539
• A simple algebraic proof of the equational interpolation theorem
• Interpolation in non-classical logics
• Extensions of proof-intuitionistic logic without interpolation property
• scientific article; zbMATH DE number 4039849

Cited in

(4)

• A bit of history related to logic based on equality
• 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
• Varying interpolation and amalgamation in polyadic MV-algebras

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)