CORRESPONDENCE IN CLASSICAL-LOGIC

被引：0

|

作者：

GARSON, JW

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1085 / 1086

页数：2

相关论文

共 50 条

[31] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 1, ELEMENTS OF CLASSICAL-LOGIC - GABBAY,DM, GUENTHNER,F
ZIMMERMAN, TE
[J]. LINGUISTICS, 1984, 22 (05) : 744 - 753
[32] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 1, ELEMENTS OF CLASSICAL-LOGIC - GABBAY,D, GUENTHNER,F
HUMBERSTONE, L
[J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1985, 63 (03) : 369 - 372
[33] THE INTEGRITY OF THE NON-TRADITIONAL THEORY OF PREDICATION WITH REGARD TO CLASSICAL-LOGIC THEORY
WESSEL, H
[J]. DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1982, 30 (11): : 1363 - 1368
[34] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 2, EXTENSIONS OF CLASSICAL-LOGIC - GABBAY,D, GUENTHNER,F, EDITORS
HUMBERSTONE, IL
[J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1986, 64 (01) : 109 - 114
[35] A NOVEL TECHNIQUE FOR EFFICIENT PARALLEL IMPLEMENTATION OF A CLASSICAL-LOGIC FAULT SIMULATION PROBLEM
BOSE, P
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (12) : 1569 - 1577
[36] CLASSICAL-LOGIC, STORAGE OPERATORS AND 2ND-ORDER LAMBDA-CALCULUS
KRIVINE, JL
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1994, 68 (01) : 53 - 78
[37] A proof-theoretic study of the correspondence of hybrid logic and classical logic
Kushida H.
Okada M.
[J]. Journal of Logic, Language and Information, 2007, 16 (1) : 35 - 61
[38] A proof-theoretic study of the correspondence of classical logic and modal logic
Kushida, H
Okada, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (04) : 1403 - 1414
[39] A NORMAL-FORM THEOREM FOR 2ND-ORDER CLASSICAL-LOGIC WITH AN AXIOM OF CHOICE
MINTS, GE
[J]. MATHEMATICS OF THE USSR-IZVESTIYA, 1988, 52 (03): : 587 - 605
[40] LOGICAL APPROACH TO ARTIFICIAL-INTELLIGENCE, VOL 1, FROM CLASSICAL-LOGIC TO PROGRAMMING - FRENCH - THAYSE,A
VANCLEEMPUT, V
[J]. REVUE INTERNATIONALE DE PHILOSOPHIE, 1990, 44 (172) : 139 - 140

← 1 2 3 4 5 →