Connecting many-sorted theories

Connecting many-sorted theories (2007)

by Franz Baader , Silvio Ghilardi

Venue:	The Journal of Symbolic Logic
Citations:	15 - 4 self

Datum	Value	Source
TITLE	Connecting many-sorted theories	SVM HeaderParse 0.2
AUTHOR NAME	Franz Baader	SVM HeaderParse 0.2
AUTHOR AFFIL	Theoretische Informatik, TU Dresden; 2 Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano	SVM HeaderParse 0.2
AUTHOR NAME	Silvio Ghilardi	SVM HeaderParse 0.2
AUTHOR AFFIL	Theoretische Informatik, TU Dresden; 2 Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano	SVM HeaderParse 0.2
ABSTRACT	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. 1	SVM HeaderParse 0.2
YEAR	2007	INFERENCE
VENUE	The Journal of Symbolic Logic	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	278--294	INFERENCE
VOLUME	72	INFERENCE
CITATIONS	24 found	ParsCit 1.0