Interpolation and amalgamation; pushing the limits. II

DOI10.1023/A:1005119811423zbMath0973.03081OpenAlexW4254512356MaRDI QIDQ1283132

Judit X. Madarász

Publication date: 3 December 2001

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

Full work available at URL: https://doi.org/10.1023/a:1005119811423

zbMATH Keywords

algebraizable logicsmodal logicsdiscriminator varietiesBoolean algebras with operatorsamalgamation propertyCraig interpolation propertymulti-modal logicsgeneral theory of logicssuperamalgamation 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

An institution-independent proof of the Robinson consistency theorem, TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY, Strong Amalgamation in Systems of Varieties, Epimorphisms in cylindric algebras and definability in finite variable logic