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 条
12345