INTERPRETATIONS OF MANY-SORTED STRUCTURES

被引：0

|

作者：

JOKISZZABILSKA, I

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：488 / 488

页数：1

相关论文

共 50 条

[1] CATEGORICAL CHARACTERIZATION OF INTERPRETATIONS DEFINED ON MANY-SORTED STRUCTURES
JOKISZ, I
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1067 - 1068
[2] A NOTE ON INTERPRETATIONS OF MANY-SORTED THEORIES
HOOK, JL
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 372 - 374
[3] COMPUTABILITY ON MANY-SORTED PARTIAL STRUCTURES
SOSKOVA, AA
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1990, 43 (01): : 9 - 11
[4] MANY-SORTED UNIFICATION
WALTHER, C
JOURNAL OF THE ACM, 1988, 35 (01) : 1 - 17
[5] Many-sorted and single-sorted algebras
Anna Mućka
Anna B. Romanowska
Jonathan D. H. Smith
Algebra universalis, 2013, 69 : 171 - 190
[6] Connecting many-sorted theories
Baader, F
Ghilardi, S
AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 278 - 294
[7] HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS
Denecke, Klaus
Lekkoksung, Somsak
ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2008, 1 (03) : 337 - 346
[8] When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
Climent Vidal, J.
Cosme Llopez, E.
LOGIC JOURNAL OF THE IGPL, 2018, 26 (04) : 381 - 407
[9] A many-sorted natural deduction
Cimatti, A
Giunchiglia, F
Weyhrauch, RW
COMPUTATIONAL INTELLIGENCE, 1998, 14 (01) : 134 - 149
[10] On many-sorted ω-categorical theories
Casanovas, Enrique
Pelaez, Rodrigo
Ziegler, Martin
FUNDAMENTA MATHEMATICAE, 2011, 214 (03) : 285 - 294

← 1 2 3 4 5 →