LOGIC AS CALCULUS AND LOGIC AS LANGUAGE

被引：107

|

作者：

VANHEIJENOORT, J ^{[1
]}

机构：

[1] BRANDEIS UNIV,WALTHAM,MA

来源：

SYNTHESE | 1967年 / 17卷 / 03期

关键词：

D O I：

10.1007/BF00485036

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

收藏

页码：324 / 330

页数：7

相关论文

共 50 条

[1] Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics
Wolenski, Jan
[J]. LOGICA UNIVERSALIS, 2012, 6 (3-4) : 587 - 596
[2] PREDICATION VERSUS MEMBERSHIP IN THE DISTINCTION BETWEEN LOGIC AS LANGUAGE AND LOGIC AS CALCULUS
COCCHIARELLA, NB
[J]. SYNTHESE, 1988, 77 (01) : 37 - 72
[3] A logic for the schema calculus
Henson, MC
Reeves, S
[J]. ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 172 - 191
[4] THE LANGUAGE OF LOGIC AND THE LOGIC OF LANGUAGE - GERMAN - CRESSWELL,M
RADVILA, R
[J]. DIALECTICA, 1983, 37 (01) : 63 - 64
[5] Pregroup calculus as a logic functor
Foret, Annie
[J]. Logic, Language, Information and Computation, Proceedings, 2007, 4576 : 147 - 161
[6] RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
Maddux, Roger D.
[J]. REVIEW OF SYMBOLIC LOGIC, 2010, 3 (01): : 41 - 70
[7] Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic
Kienzler, Wolfgang
[J]. PHILOSOPHY OF LOGIC AND MATHEMATICS, 2020, 27 : 133 - 152
[8] Automata, Logic and Games for the λ-Calculus
Ong, C. -H. Luke
[J]. LOGIC AND ITS APPLICATIONS (ICLA 2017), 2017, 10119 : 23 - 26
[9] THE 'MATHEMATICAL ANALYSIS OF LOGIC' AND THE 'CALCULUS OF LOGIC' - ITALIAN - BOOLE,G
FERRIANI, M
[J]. LINGUA E STILE, 1993, 28 (04) : 621 - 622
[10] A sequent calculus for nominal logic
Gabbay, M
Cheney, J
[J]. 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 139 - 148

← 1 2 3 4 5 →