Connecting many-sorted theories

被引：11
|
作者：
Baader, Franz [1 ]
Ghilardi, Silvio
机构：
[1] Tech Univ Dresden, Inst Theoret Informat, Dresden, Germany
[2] Univ Milan, Dipartimento Sci Informaz, I-20122 Milan, Italy
来源：
JOURNAL OF SYMBOLIC LOGIC | 2007年 / 72卷 / 02期
关键词：
D O I：
10.2178/jsl/1185803623
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：535 / 583
页数：49
相关论文
共 50 条
  • [31] Multicategories and varieties of many-sorted algebras
    Tronin S.N.
    Siberian Mathematical Journal, 2008, 49 (5) : 944 - 958
  • [32] Combining data structures with nonstably infinite theories using many-sorted logic
    Ranise, S
    Ringeissen, C
    Zarba, CG
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2005, 3717 : 48 - 64
  • [33] Automorphic Equivalence of Many-Sorted Algebras
    A. Tsurkov
    Applied Categorical Structures, 2016, 24 : 209 - 240
  • [34] Decidable fragments of many-sorted logic
    Abadi, Aharon
    Rabinovich, Alexander
    Sagiv, Mooly
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 17 - +
  • [35] COMPUTABILITY ON MANY-SORTED PARTIAL STRUCTURES
    SOSKOVA, AA
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1990, 43 (01): : 9 - 11
  • [36] QUANTIFICATION OF PREDICATE AND MANY-SORTED LOGIC
    PARRY, WT
    PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1966, 26 (03) : 342 - 360
  • [37] On many-sorted algebraic closure operators
    Vidal, JC
    Tur, JS
    MATHEMATISCHE NACHRICHTEN, 2004, 266 : 81 - 84
  • [38] Automorphic Equivalence of Many-Sorted Algebras
    Tsurkov, A.
    APPLIED CATEGORICAL STRUCTURES, 2016, 24 (03) : 209 - 240
  • [39] Strong functors on many-sorted sets
    Levy, Paul B.
    COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2019, 60 (04): : 533 - 540
  • [40] Coalgebraic Components in a Many-Sorted Microcosm
    Hasuo, Ichiro
    Heunen, Chris
    Jacobs, Bart
    Sokolova, Ana
    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 64 - +
12345