Intuitionistic choice and classical logic

被引：0

作者：

Thierry Coquand

Erik Palmgren

机构：

[1] Department of Computer Science,

[2] Chalmers University of Technology and Gothenburg University,undefined

[3] 412 96 Gothenburg,undefined

[4] Sweden (e-mail: coquand@cs.chalmers.se) ,undefined

[5] Department of Mathematics,undefined

[6] Chalmers University of Technology and Gothenburg University. Current address: Department of Mathematics,undefined

[7] Uppsala University,undefined

[8] P.O. Box 480,undefined

[9] 751 06 Uppsala,undefined

[10] Sweden (e-mail: palmgren@math.uu.se) ,undefined

来源：

Archive for Mathematical Logic | 2000年 / 39卷

关键词：

Boolean Algebra; Classical Logic; Type Theory; Covering Relation; Judicious Choice;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：53 / 74

页数：21

共 50 条

[21] Choice of primitives: A note on axiomatizing intuitionistic logic
Humberstone, IL
HISTORY AND PHILOSOPHY OF LOGIC, 1998, 19 (01) : 31 - 40
[22] Kripke semantics and proof systems for combining intuitionistic logic and classical logic
Liang, Chuck
Miller, Dale
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (02) : 86 - 111
[23] Deciding intuitionistic-propositional logic via translation into classical logic
Korn, DS
Kreitz, C
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 131 - 145
[24] NONMODAL CLASSICAL LINEAR PREDICATE LOGIC IS A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
DOSEN, K
THEORETICAL COMPUTER SCIENCE, 1992, 102 (01) : 207 - 214
[25] Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
Villadsen, Jorgen
From, Asta Halkjaer
Blackburn, Patrick
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (354): : 71 - 85
[26] Which classical correspondence is valid in intuitionistic modal logic?
Kojima, Kensuke
LOGIC JOURNAL OF THE IGPL, 2012, 20 (01) : 331 - 348
[27] Epistemic extensions of combined classical and intuitionistic propositional logic
Lewitzka, Steffen
LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 309 - 324
[28] MEANING AND PROOFS - CONFLICT BETWEEN CLASSICAL AND INTUITIONISTIC LOGIC
PRAWITZ, D
THEORIA, 1977, 43 : 2 - 40
[29] Combining First-Order Classical and Intuitionistic Logic
Toyooka, Masanobu
Sano, Katsuhiko
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (358): : 25 - 40
[30] A FORMAL AND INTUITIONISTIC PROOF OF THE COMPLETENESS THEOREM OF CLASSICAL LOGIC
Krivine, Jean-Louis
BULLETIN OF SYMBOLIC LOGIC, 1996, 2 (04) : 405 - 421

← 1 2 3 4 5 →