DUMMETT ON MEANING AND CLASSICAL-LOGIC

被引：0

|

作者：

WEIR, A

机构：

来源：

MIND | 1986年 / 95卷 / 380期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：465 / 477

页数：13

相关论文

共 50 条

[21] FREE AXIOMATIZATIONS IN CLASSICAL-LOGIC .2. UNCOUNTABLE CASE
REZNIKOFF, I
[J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1994, 319 (04): : 311 - 314
[22] SEMANTIC ENTAILMENT IN NONCLASSICAL LOGICS BASED ON PROOFS FOUND IN CLASSICAL-LOGIC
CAFERRA, R
DEMRI, S
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 385 - 399
[23] AN EXAMPLE OF A LANGUAGE WITH CLASSICAL-LOGIC FOR WHICH BIVALENCE CANNOT BE ASSUMED
HAZEN, A
[J]. ANALYSIS, 1983, 43 (01) : 1 - 5
[24] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 3, ALTERNATIVES TO CLASSICAL-LOGIC - GABBAY,D, GUENTHNER,F
PICARDI, E
[J]. LINGUA E STILE, 1987, 22 (04) : 543 - 546
[25] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 3 ALTERNATIVES TO CLASSICAL-LOGIC - GABBAY,D, GUENTHNER,F
HUMBERSTONE, L
[J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1988, 66 (01) : 120 - 126
[26] A CONSTRUCTIVE VALUATION INTERPRETATION FOR CLASSICAL-LOGIC AND ITS USE IN WITNESS EXTRACTION
BARBANERA, F
BERARDI, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 581 : 1 - 23
[27] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 3, ALTERNATIVES TO CLASSICAL-LOGIC - GABBAY,DM, GUENTHNER,F
KALINOWSKI, G
[J]. ARCHIVES DE PHILOSOPHIE, 1989, 52 (01) : 107 - 108
[28] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 2, EXTENSIONS OF CLASSICAL-LOGIC - GABBAY,D, GUENTHNER,F
URQUHART, A
[J]. CANADIAN JOURNAL OF PHILOSOPHY, 1987, 17 (02) : 483 - 489
[29] CONTINUOUSLY VALUED LOGICAL FUNCTION SATISFYING ALL AXIOMS OF CLASSICAL-LOGIC
TSUKIMOTO, H
[J]. SYSTEMS AND COMPUTERS IN JAPAN, 1994, 25 (12) : 33 - 41
[30] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 1, ELEMENTS OF CLASSICAL-LOGIC - GABBAY,DM, GUENTHNER,F
CASALEGNO, P
[J]. JOURNAL OF PRAGMATICS, 1985, 9 (2-3) : 385 - 388

← 1 2 3 4 5 →