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 条

[31] Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
Toyooka, Masanobu
Sano, Katsuhiko
STUDIA LOGICA, 2024, 112 (05) : 1091 - 1121
[32] Structural cut elimination I. Intuitionistic and classical logic
Pfenning, F
INFORMATION AND COMPUTATION, 2000, 157 (1-2) : 84 - 141
[33] Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis
Dorais, Francois G.
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2014, 55 (01) : 25 - 39
[34] A REDUCTION OF CLASSICAL PROPOSITIONAL LOGIC TO THE CONJUNCTION-NEGATION FRAGMENT OF AN INTUITIONISTIC RELEVANT LOGIC
DOSEN, K
JOURNAL OF PHILOSOPHICAL LOGIC, 1981, 10 (04) : 399 - 408
[35] INTUITIONISTIC LOGIC IN AN INTUITIONISTIC METALANGUAGE - INTUITIONISTICALLY PLAUSIBLE INTERPRETATION OF INTUITIONISTIC LOGIC
DESWART, H
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 130 - 131
[36] Session Type Systems based on Linear Logic: Classical versus Intuitionistic
van den Heuvel, Bas
Perez, Jorge A.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (314): : 1 - 11
[37] Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation
Norihiro Kamide
Journal of Logic, Language and Information, 2021, 30 : 491 - 531
[38] On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Olkhovikov, Grigory K.
JOURNAL OF APPLIED LOGIC, 2017, 21 : 57 - 90
[39] A Constructive Proof of Dependent Choice, Compatible with Classical Logic
Herbelin, Hugo
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 365 - 374
[40] Intuitionistic Logic As Epistemic Logic
Jaakko Hintikka
Synthese, 2001, 127 : 7 - 19

← 1 2 3 4 5 →