ON SOME INTERPRETATIONS OF CLASSICAL-LOGIC

被引：1

作者：

BORICIC, BR ^{[1
]}

机构：

[1] UNIV BELGRADE,YU-11000 BELGRADE,YUGOSLAVIA

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1992年 / 38卷 / 04期

关键词：

EMBEDDINGS OF CLASSICAL LOGIC IN SUPERINTUITIONISTIC LOGICS;

D O I：

10.1002/malq.19920380139

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations. MSC: 03B20, 03B55

引用

页码：409 / 412

页数：4

共 50 条

[1] CORRESPONDENCE IN CLASSICAL-LOGIC
GARSON, JW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1085 - 1086
[2] THE IRRELEVANCE OF CLASSICAL-LOGIC
KEENE, GB
[J]. PHILOSOPHICAL QUARTERLY, 1991, 41 (162): : 76 - 82
[3] MISINTERPRETATIONS OF CLASSICAL-LOGIC STATEMENTS
LOH, W
[J]. DIALECTICA, 1986, 40 (02) : 157 - 162
[4] LOGICAL OMNISCIENCE AND CLASSICAL-LOGIC
MUSKENS, R
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 52 - 64
[5] DUMMETT ON MEANING AND CLASSICAL-LOGIC
WEIR, A
[J]. MIND, 1986, 95 (380) : 465 - 477
[6] FUNCTION OF CLASSICAL-LOGIC IN QUANTUM LOGIC MECHANICS
LUNGARZO, C
[J]. CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1977, 9 (27): : 49 - 66
[7] THE BELL INEQUALITIES AS TESTS OF CLASSICAL-LOGIC
SANTOS, E
[J]. PHYSICS LETTERS A, 1986, 115 (08) : 363 - 365
[8] A STRONG NORMALIZATION RESULT FOR CLASSICAL-LOGIC
BARBANERA, F
BERARDI, S
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1995, 76 (02) : 99 - 116
[9] CLASSICAL-LOGIC - A CRASH COURSE FOR BEGINNERS
GALTON, A
[J]. COMPUTER JOURNAL, 1992, 35 (05): : 424 - 430
[10] INTUITIONIST LOGIC - SUBSYSTEM OF, EXTENSION OF, OR RIVAL TO, CLASSICAL-LOGIC
SYLVAN, R
[J]. PHILOSOPHICAL STUDIES, 1988, 53 (01) : 147 - 151

← 1 2 3 4 5 →