Interpolation and amalgamation; pushing the limits. I
From MaRDI portal
Publication:1580645
DOI10.1023/A:1005064504044zbMath0964.03071MaRDI QIDQ1580645
Publication date: 19 June 2001
Published in: Studia Logica (Search for Journal in Brave)
algebraizable logicsdiscriminator varietiesBoolean algebras with operatorsamalgamation propertyCraig interpolation propertymulti-modal logicssuperamalgamation propertyBoolean fragmentlocal deduction property
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