INTERPOLATION, DEFINABILITY, AMALGAMATION
The definitions of interpolation and Beth's property essentially depend on the consequence relation in the logic under consideration. In modal logics, there are at least two natural logical consequence relations: provable implication and deducibility. They are equivalent in superintuitionistic logics in deduction theorem but not equivalent in normal modal logics, where only a weaker form of the deduction theorem holds. So in modal logics two forms of interpolation (CIP and IPD), and two forms (B1 and B2) of the Beth property are considered. It is shown that B1 is equivalent to CIP for all modal logics, but all other properties are not equivalent. A full diagram of interrelations of these properties as well as their algebraic equivalents is presented. In particular, IPD is equivalent to the amalgamation property (AP), CIP to the superamalgamation property (SAP), and B2 to epimorphisms surjectivity ES* of the corresponding variety of modal algebras.
Keywords: Beth's property, provable implication, deducibility, consequence relation, superamalgamation
Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
Please, subscribe or login to access full text content.
If you think you should have access to this title, please contact your librarian.
To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .