In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signature, and have shown that, under appropriate algebraic conditions, decidability of the validity of universal formulae in the component theories transfers to their connection. This work generalizes decidability transfer results for so-called E-connections of modal logics. However, in this general algebraic setting, only the most basic type of E-connections could be handled. In the present paper, we overcome this restriction by looking at pairs of connection functions that are adjoint pairs for partial orders defined in the component theories.

Connecting many-sorted structures and theories through adjoint functions / Franz Baader, Silvio Ghilardi - In: Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna Austria, September 19-21, 2005 : Proceedings / Bernhard Gramlich. - Berlin : Springer, 2005. - ISBN 3540290516. - pp. 31-47 (( Intervento presentato al 5. convegno International Workshop on Frontiers of Combining Systems (FroCoS 05) tenutosi a Vienna nel 2005.

Connecting many-sorted structures and theories through adjoint functions

Silvio Ghilardi
2005

Abstract

In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signature, and have shown that, under appropriate algebraic conditions, decidability of the validity of universal formulae in the component theories transfers to their connection. This work generalizes decidability transfer results for so-called E-connections of modal logics. However, in this general algebraic setting, only the most basic type of E-connections could be handled. In the present paper, we overcome this restriction by looking at pairs of connection functions that are adjoint pairs for partial orders defined in the component theories.
E-connections, combination.
Settore M-FIL/02 - Logica e Filosofia della Scienza
2005
Book Part (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/5532
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact