Connecting Many-Sorted Theories

Franz BaaderFranz Baader, S. GhilardiS. Ghilardi

Download

Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
The Journal of Symbolic Logic, 72(2):535-583, 2007

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ BaaGi-JSL-07,
  author = {F. {Baader} and S. {Ghilardi}},
  journal = {The Journal of Symbolic Logic},
  number = {2},
  pages = {535--583},
  title = {Connecting Many-Sorted Theories},
  volume = {72},
  year = {2007},
}