UNDECIDABILITY OF SOME INTUTITIONISTIC THEORIES OF EQUALITY AND ORDER

被引：0

|

作者：

SMORYNSKI, C

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1971年 / 36卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：587 / +

页数：1

相关论文

共 50 条

[31] UNDECIDABILITY OF EQUALITY IN THE FREE LOCALLY CARTESIAN CLOSED CATEGORY (EXTENDED VERSION)
Castellan, Simon
Clairambault, Pierre
Dybjer, Peter
LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (04)
[32] MINIMAL ORDINAL TYPES OF SOME FIRST ORDER THEORIES
YASUHARA, M
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 360 - &
[33] FIRST ORDER THEORIES OF SOME LATTICES OF OPEN SETS
Kudinov, Oleg
Selivanov, Victor
LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (03)
[34] UNDECIDABILITY OF UNIFICATION IN THIRD-ORDER LOGIC
HUET, GP
INFORMATION AND CONTROL, 1973, 22 (03): : 257 - 267
[35] DECIDABILITY AND UNDECIDABILITY OF THEORIES OF ABELIAN-GROUPS WITH PREDICATES FOR SUBGROUPS
BAUR, W
COMPOSITIO MATHEMATICA, 1975, 31 (01) : 23 - 30
[36] The undecidability of second order multiplicative linear logic
Lafont, Y
Scedrov, A
INFORMATION AND COMPUTATION, 1996, 125 (01) : 46 - 51
[37] THEORIES OF EQUALITY - A CRITICAL ANALYSIS
POJMAN, L
BEHAVIOR AND PHILOSOPHY, 1995, 23 (02) : 1 - 27
[38] GODEL THEOREMS, EXPONENTIAL DIFFICULTY AND UNDECIDABILITY OF ARITHMETIC THEORIES - AN EXPOSITION
YOUNG, P
PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 503 - 522
[39] Undecidability in Some Structures Related to Computation Theory
Selivanov, Victor L.
JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (01) : 177 - 197
[40] The undecidability of second order linear logic without exponentials
Lafont, Y
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (02) : 541 - 548

← 1 2 3 4 5 →