Interpolation and the Robinson property for logics not closed under the Boolean operations

DOI10.1007/BF01237716MaRDI QIDQ1074573zbMATH OpenFDO

Authors Hiroakira Ono

Publication date 1986

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01237716

zbMATH Keywords

amalgamation propertycompact logicequational logicsinterpolation propertymodel-theoretic logic

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Abstract model theory (03C95) Equational logic, Mal'tsev conditions (08B05)

Review text

A variant of the Robinson property \((ROB^*)\) is introduced. The property \(ROB^*\) is equivalent to the usual Robinson property and hence is equivalent also to the interpolation property, in any compact logic which is closed under the Boolean operations. On the other hand, it is shown that in general, \(ROB^*\) is stronger than the usual interpolation property, and is weaker than its strong form, when a logic is not closed under the Boolean operations. Next, \(ROB^*\) and various forms of interpolation properties in equational logics are studied. Of course, equational logics are compact, but are not closed under the Boolean operations. It is shown that an equational logic has \(ROB^*\) if and only if it has the amalgamation property for isomorphic embeddings.

Recommendations

• scientific article; zbMATH DE number 1062287
• Leibniz interpolation properties
• On the interpolation property of some intuitionistic modal logics
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• scientific article; zbMATH DE number 1302498

Cites work

• Amalgamation properties and interpolation theorems for equational theories
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Injectivity in model theory
• Sentential logics and Maehara interpolation property

Cited in

(16)

• Algebraization of quantifier logics, an introductory overview
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Uniform interpolation and coherence
• Amalgamation and interpolation in ordered algebras.
• Uniform interpolation and compact congruences
• Geometry of Robinson consistency in Łukasiewicz logic
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Definability and interpolation in non-classical logics
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Natural dualities for varieties of BL-algebras
• Modularity results for interpolation, amalgamation and superamalgamation
• Decidability of the interpolation problem and of related properties in tabular logics
• scientific article; zbMATH DE number 3271481 (Why is no real title available?)
• Conservative expansions of substructural logics
• Amalgamation and Robinson property in universal algebraic logic
• Amalgamation, interpolation, and implicit definability in varieties of algebras

This page was built for publication: Interpolation and the Robinson property for logics not closed under the Boolean operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1074573)