A FORMAL AND INTUITIONISTIC PROOF OF THE COMPLETENESS THEOREM OF CLASSICAL LOGIC

被引：21

|

作者：

Krivine, Jean-Louis ^{[1
]}

机构：

[1] Univ Paris VII, Equipe Log Math, CNRS, 2 Pl Jussieu, F-75251 Paris 05, France

来源：

BULLETIN OF SYMBOLIC LOGIC | 1996年 / 2卷 / 04期

关键词：

D O I：

10.2307/421172

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：405 / 421

页数：17

相关论文

共 50 条

[21] AN INTUITIONISTIC PROOF OF TYCHONOFFS THEOREM
COQUAND, T
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (01) : 28 - 32
[22] Mechanising a proof of Craig's interpolation theorem for intuitionistic logic in nominal isabelle
Chapman, Peter
McKinna, James
Urban, Christian
INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 38 - +
[23] EMBEDDING CLASSICAL LOGIC IN INTUITIONISTIC LOGIC
MYHILL, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01): : 93 - 96
[24] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 709 - +
[25] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 31 - +
[26] COMPLETENESS THEOREM FOR STATIONARY LOGIC
BARWISE, J
MAKKAI, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (06): : A594 - A595
[27] A COMPLETENESS THEOREM IN MODAL LOGIC
BAYART, A
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 276 - &
[28] A COMPLETENESS THEOREM FOR TENSE LOGIC
COCCHIARELLA, NB
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 689 - +
[29] Intuitionistic choice and classical logic
Thierry Coquand
Erik Palmgren
Archive for Mathematical Logic, 2000, 39 : 53 - 74
[30] An intuitionistic characterization of classical logic
Hsiung, Ming
JOURNAL OF PHILOSOPHICAL LOGIC, 2008, 37 (04) : 299 - 317

← 1 2 3 4 5 →