- Titel
- Connecting many-sorted theories
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-793306
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 05-04
- Erstveröffentlichung
- 2005
- DOI
- https://doi.org/10.25368/2022.147
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Sortenlogik, Disjunkte Vereinigung, universelle Formel, Homomorphismus
- Freie Schlagwörter (EN)
- many-sorted theory, disjoint union, universal formulae, homomorphism
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-793306
- Veröffentlichungsdatum Qucosa
- 31.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0