Translator Disclaimer
June 2007 Connecting many-sorted theories
Franz Baader, Silvio Ghilardi
J. Symbolic Logic 72(2): 535-583 (June 2007). DOI: 10.2178/jsl/1185803623

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 ℰ-connection approach for combining modal logics to an algebraic setting.

Citation

Download Citation

Franz Baader. Silvio Ghilardi. "Connecting many-sorted theories." J. Symbolic Logic 72 (2) 535 - 583, June 2007. https://doi.org/10.2178/jsl/1185803623

Information

Published: June 2007
First available in Project Euclid: 30 July 2007

zbMATH: 1136.03012
MathSciNet: MR2320290
Digital Object Identifier: 10.2178/jsl/1185803623

Rights: Copyright © 2007 Association for Symbolic Logic

JOURNAL ARTICLE
49 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.72 • No. 2 • June 2007
Back to Top