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 条

[41] AN EXTENDED HERBRAND THEOREM FOR 1ST-ORDER THEORIES WITH EQUALITY INTERPRETED IN PARTIAL ALGEBRAS
PETERMANN, U
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 408 - 417
[42] The undecidability of the elementary theory of lattices of all equational theories of large signature
McNulty, George F.
ALGEBRA UNIVERSALIS, 2019, 80 (03)
[43] SOME UNDECIDABILITY RESULTS IN STRONG ALGEBRAIC LANGUAGES
KALFA, C
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 951 - 954
[44] SOME UNDECIDABILITY RESULTS CONCERNING RADON MEASURES
GARDNER, RJ
PFEFFER, WF
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 259 (01) : 65 - 74
[45] EQUALITY FOR SOME
DAVIES, FR
NEW SCIENTIST, 1990, 125 (1700) : 70 - 70
[46] Undecidability in Resource Theory: Can You Tell Resource Theories Apart?
Scandi, Matteo
Surace, Jacopo
PHYSICAL REVIEW LETTERS, 2021, 127 (27)
[47] UNDECIDABILITY OF INTUITIONISTIC THEORIES OF ALGEBRAICALLY CLOSED FIELDS AND REAL CLOSED FIELDS
GABBAY, DM
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (01) : 86 - 92
[48] Undecidability of Higher-Order Unification Formalised in Coq
Spies, Simon
Forster, Yannick
CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 143 - 157
[49] The undecidability of the elementary theory of lattices of all equational theories of large signature
George F. McNulty
Algebra universalis, 2019, 80
[50] THE UNDECIDABILITY OF THE 2ND-ORDER UNIFICATION PROBLEM
GOLDFARB, WD
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 225 - 230

← 1 2 3 4 5 →