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