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. Our results can be seen as a generalization of the so-called E-connection approach for combining modal logics to an algebraic setting.

Connecting Many-Sorted Theories / F. Baader, S. Ghilardi. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 72:2(2007), pp. 535-583. [10.2178/jsl/1185803623]

Connecting Many-Sorted Theories

S. Ghilardi
Ultimo
2007

Abstract

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. Our results can be seen as a generalization of the so-called E-connection approach for combining modal logics to an algebraic setting.
Settore M-FIL/02 - Logica e Filosofia della Scienza
http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.jsl/1185803623&view=body&content-type=pdf_1
Article (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/35558
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 11
social impact