Connecting Many-Sorted Theories

Journal of Symbolic Logic 72 (2):535 - 583 (2007)

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 E-connection approach for combining modal logics to an algebraic setting
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1185803623
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,365
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

A Note on Interpretations of Many-Sorted Theories.Julian L. Hook - 1985 - Journal of Symbolic Logic 50 (2):372-374.
First-Order Theories as Many-Sorted Algebras.V. Manca & A. Salibra - 1984 - Notre Dame Journal of Formal Logic 25 (1):86-94.
Logic of Many-Sorted Theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
Coinductive Formulas and a Many-Sorted Interpolation Theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
Against Moral Response-Dependence.Nick Zangwill - 2003 - Erkenntnis 59 (3):285 - 290.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Information and Architecture.David Israel & John Perry - 1991 - In Jon Barwise, Jean Mark Gawron, Gordon Plotkin & Syun Tutiya (eds.), Situation Theory and Its Applications Vol. 2. Stanford: CSLI Publications. pp. 147-160.
From Semirings to Residuated Kleene Lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.

Analytics

Added to PP index
2010-08-24

Total views
19 ( #456,855 of 2,271,718 )

Recent downloads (6 months)
2 ( #564,635 of 2,271,718 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature