Many-Sorted Equivalence of Shiny and Strongly Polite Theories

被引：0
|
作者：
机构：
[1] [1,Casal, Filipe
[2] 1,Rasga, João
来源：
Casal, Filipe (filipe.casal@tecnico.ulisboa.pt) | 1600年 / Springer Science and Business Media B.V.卷 / 60期
关键词：
Acknowledgements We would like to thank the anonymous reviewers for their helpful comments. This work was partially supported by Fundação para a Ciência e a Tecnologia by way of Grant UID/MAT/04561/2013 to Centro de Matemática; Aplicações Fundamentais e Investigação Operacional of Universidade de Lisboa (CMAF-CIO). Furthermore; FC acknowledges the support from the DP-PMI and FCT (Portugal) through scholarship SRFH/BD/52243/2013;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
16
引用
收藏
相关论文
共 50 条
  • [1] Many-Sorted Equivalence of Shiny and Strongly Polite Theories
    Casal, Filipe
    Rasga, Joao
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (02) : 221 - 236
  • [2] Many-Sorted Equivalence of Shiny and Strongly Polite Theories
    Filipe Casal
    João Rasga
    Journal of Automated Reasoning, 2018, 60 : 221 - 236
  • [3] Morita equivalence of many-sorted algebraic theories
    Adámek, J
    Sobral, M
    Sousa, L
    JOURNAL OF ALGEBRA, 2006, 297 (02) : 361 - 371
  • [4] Morita Equivalence for Many-Sorted Enriched Theories
    Dostal, Matej
    Velebil, Jiri
    APPLIED CATEGORICAL STRUCTURES, 2016, 24 (06) : 825 - 844
  • [5] Morita Equivalence for Many-Sorted Enriched Theories
    Matĕj Dostál
    Jiří Velebil
    Applied Categorical Structures, 2016, 24 : 825 - 844
  • [6] Connecting many-sorted theories
    Baader, F
    Ghilardi, S
    AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 278 - 294
  • [7] On many-sorted ω-categorical theories
    Casanovas, Enrique
    Pelaez, Rodrigo
    Ziegler, Martin
    FUNDAMENTA MATHEMATICAE, 2011, 214 (03) : 285 - 294
  • [8] Connecting many-sorted theories
    Baader, Franz
    Ghilardi, Silvio
    JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (02) : 535 - 583
  • [9] Automorphic Equivalence of Many-Sorted Algebras
    A. Tsurkov
    Applied Categorical Structures, 2016, 24 : 209 - 240
  • [10] A NOTE ON INTERPRETATIONS OF MANY-SORTED THEORIES
    HOOK, JL
    JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 372 - 374
12345