Interpolation, amalgamation and combination : the non-disjoint signatures case
Contributo in Atti di convegno
Data di Pubblicazione:
2017
Citazione:
Interpolation, amalgamation and combination : the non-disjoint signatures case / S. Ghilardi, A. Gianola - In: Frontiers of Combining Systems / [a cura di] C. Lutz, S. Ranise. - [s.l] : Springer Verlag, 2017 Sep. - ISBN 9783319661667. - pp. 316-332 (( Intervento presentato al 11. convegno International Symposium on Frontiers of Combining Systems, FroCoS 2017 tenutosi a Brasilia nel 2017.
Abstract:
In this paper, we study the conditions under which existence of interpolants (for quantifier-free formulae) is modular, in the sense that it can be transferred from two first-order theories T1, T2 to their combination T1 ⪠T2. We generalize to the non-disjoint signatures case the results from [3]. As a surprising application, we relate the Horn combinability criterion of this paper to superamalgamability conditions known from propositional logic and we use this fact to derive old and new results concerning fusions transfer of interpolation properties in modal logic.
Tipologia IRIS:
03 - Contributo in volume
Keywords:
interpolation; combination; fusions
Elenco autori:
S. Ghilardi, A. Gianola
Link alla scheda completa:
Titolo del libro:
Frontiers of Combining Systems