Connecting Many-Sorted Theories

From International Center for Computational Logic

Toggle side column

Connecting Many-Sorted Theories

Franz BaaderFranz Baader,  S. GhilardiS. Ghilardi
Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
Proceedings of the 20th International Conference on Automated Deduction (CADE-05), volume 3632 of Lecture Notes in Artificial Intelligence, 278-294, 2005. Springer
  • 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.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ BaaderGhilardiCADE05,
  address = {Tallinn (Estonia)},
  author = {F. {Baader} and S. {Ghilardi}},
  booktitle = {Proceedings of the 20th International Conference on Automated Deduction (CADE-05)},
  pages = {278--294},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Connecting Many-Sorted Theories},
  volume = {3632},
  year = {2005},
}