SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS

被引：5

作者：

PLISKO, VE

机构：

来源：

MATHEMATICS OF THE USSR-IZVESTIYA | 1978年 / 12卷 / 03期

关键词：

D O I：

10.1070/IM1978v012n03ABEH002005

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：588 / 604

页数：17

共 50 条

[1] SOME VARIANTS OF NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
PLISKO, VE
[J]. DOKLADY AKADEMII NAUK SSSR, 1976, 226 (01): : 61 - 64
[2] ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
PLISKO, VE
[J]. MATHEMATICS OF THE USSR-IZVESTIYA, 1983, 47 (02): : 291 - 308
[3] ON THE NOTION OF RELATIVELY UNIFORM REALIZABILITY OF PROPOSITIONAL FORMULAS
PLISKO, VE
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1992, (02): : 77 - 79
[4] Modified realizability and predicate logic
V. E. Plisko
[J]. Mathematical Notes, 1997, 61 : 212 - 220
[5] A survey of predicate realizability logic
Valerii E. Plisko
[J]. Proceedings of the Steklov Institute of Mathematics, 2011, 274 : 204 - 230
[6] A survey of predicate realizability logic
Plisko, Valerii E.
[J]. PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2011, 274 (01) : 204 - 230
[7] Modified realizability and predicate logic
Plisko, VE
[J]. MATHEMATICAL NOTES, 1997, 61 (1-2) : 212 - 220
[8] A general notion of realizability
Birkedal, L
[J]. 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 7 - 17
[9] A general notion of realizability
Birkedal, L
[J]. BULLETIN OF SYMBOLIC LOGIC, 2002, 8 (02) : 266 - 282
[10] Variants of realizability for propositional formulas and the logic of the weak law of excluded middle
Chernov, AV
Skvortsov, DP
Skvortsova, EZ
Vereshchagin, NK
[J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 74 - 88