Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must behave like homomorphisms on the shared signature. We determine conditions under which decidability of the validity of universal formulae in the component theories transfers to their connection. In addition, we consider variants of the basic connection scheme.
|Titolo:||Connecting many-sorted theories|
|Parole Chiave:||Combination, E-connections.|
|Settore Scientifico Disciplinare:||Settore M-FIL/02 - Logica e Filosofia della Scienza|
|Data di pubblicazione:||2005|
|Digital Object Identifier (DOI):||10.1007/11532231_21|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|