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.
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.
Interpolation, amalgamation and combination : the non-disjoint signatures case
S. GhilardiPrimo
;
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Articolo.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
348.79 kB
Formato
Adobe PDF
|
348.79 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
