Interpolation and amalgamation; pushing the limits. I

DOI10.1023/A:1005064504044zbMath0964.03071MaRDI QIDQ1580645

Judit X. Madarász

Publication date: 19 June 2001

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

algebraizable logicsdiscriminator varietiesBoolean algebras with operatorsamalgamation propertyCraig interpolation propertymulti-modal logicssuperamalgamation propertyBoolean fragmentlocal deduction property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Interpolation, preservation, definability (03C40)

Related Items (8)

Algebraic Characterization of the Local Craig Interpolation Property ⋮ THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Some results about neat reducts ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ PDL has interpolation

This page was built for publication: Interpolation and amalgamation; pushing the limits. I