Modified realizability and predicate logic

被引：0

作者：

V. E. Plisko

机构：

[1] Moscow State University,M. V. Lomonosov

来源：

Mathematical Notes | 1997年 / 61卷

关键词：

modified realizability; arithmetic in all finite types; constructive logic;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Semantics of predicate formulas based on the notion of modified realizability for arithmetic formulas and interpretations of the language of arithmetic in all finite types are considered. For a number of natural constructive interpretations, the corresponding predicate logic of modified realizability is proved to be nonarithmetical.

引用

页码：212 / 220

页数：8

共 50 条

[11] A translation of intuitionistic predicate logic into basic predicate logic
Ardeshir M.
[J]. Studia Logica, 1999, 62 (3) : 341 - 352
[12] SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
PLISKO, VE
[J]. MATHEMATICS OF THE USSR-IZVESTIYA, 1978, 12 (03): : 588 - 604
[13] REALIZABILITY AND INTUITIONISTIC LOGIC
DILLER, J
TROELSTRA, AS
[J]. SYNTHESE, 1984, 60 (02) : 253 - 282
[14] Rational Pavelka predicate logic is a conservative extension of Lukasiewicz predicate logic
Hájek, P
Paris, J
Shepherdson, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (02) : 669 - 682
[15] FALLACIES IN PREDICATE LOGIC
BELL, D
[J]. MIND, 1971, 80 (317) : 145 - 147
[16] BISIMULATIONS AND PREDICATE LOGIC
FERNANDO, T
[J]. JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (03) : 924 - 944
[17] DYNAMIC PREDICATE LOGIC
GROENENDIJK, J
STOKHOF, M
[J]. LINGUISTICS AND PHILOSOPHY, 1991, 14 (01) : 39 - 100
[18] SUBJECT AND PREDICATE LOGIC
THERON, S
[J]. MODERN SCHOOLMAN, 1989, 66 (02): : 129 - 139
[19] ON DEONTIC PREDICATE LOGIC
PUGA, LZ
DACOSTA, NCA
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1101 - 1102
[20] Coalgebraic Predicate Logic
Litak, Tadeusz
Pattinson, Dirk
Sano, Katsuhiko
Schroder, Lutz
[J]. AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 299 - 311

← 1 2 3 4 5 →