A NOTE ON EXISTENTIAL INSTANTIATION

被引：1

|

作者：

PRAWITZ, D

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1967年 / 32卷 / 01期

关键词：

D O I：

10.2307/2271245

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：81 / &

相关论文

共 50 条

[1] Intuitionistic Existential Instantiation and Epsilon Symbol
Mints, Grigori
DAG PRAWITZ ON PROOFS AND MEANING, 2015, 7 : 225 - 238
[2] PROVABLE INSTANTIATION OF EXISTENTIAL SENTENCES OF ARITHMETIC
LEIVANT, D
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 423 - 424
[3] EXISTENTIAL INSTANTIATION AND NORMALIZATION IN SEQUENT NATURAL DEDUCTION
CELLUCCI, C
ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (02) : 111 - 148
[4] NOTE ON GENESIS OF EXISTENTIAL THERE
BREIVIK, LE
ENGLISH STUDIES, 1977, 58 (04) : 334 - 348
[5] NOTE ON SOURCE OF THERE IN EXISTENTIAL SENTENCES
ALLAN, K
FOUNDATIONS OF LANGUAGE, 1971, 7 (01): : 1 - &
[6] A NOTE ON THE EXISTENTIAL COLORING OF 'BEOWULF'
HENGEN, S
NEUPHILOLOGISCHE MITTEILUNGEN, 1988, 89 (02) : 171 - 173
[7] A very short note on existential constructions
Hornstein, Norbert
LINGUISTIC INQUIRY, 2007, 38 (02) : 410 - 411
[8] A NOTE ON THE EXISTENTIAL FOUNDATIONS OF PHENOMENOLOGICAL REDUCTION
HARVEY, CW
JOURNAL OF THE BRITISH SOCIETY FOR PHENOMENOLOGY, 1986, 17 (02) : 193 - 197
[9] A NOTE ON EXISTENTIAL ADJUSTMENT AND JUNG TYPOLOGY
RICHEK, HG
VANRHODES, J
JOURNAL OF ANALYTICAL PSYCHOLOGY, 1980, 25 (04) : 357 - 362
[10] A note on the existential theory of equations in plain groups
Diekert, V
Lohrey, M
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2002, 12 (1-2) : 1 - 7

← 1 2 3 4 5 →