A constructive formulation of Gleason's theorem + A constructive proof

被引：5
|
作者：
Billinge, H
机构：
[1] Department of Philosophy, University of Leeds
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1997年 / 26卷 / 06期
关键词：
Standard Formulation; Restricted Form; Constructive Formulation;
D O I：
10.1023/A:1004275113665
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
In this paper I wish to show that we can give a statement of a restricted form of Gleason's Theorem that is classically equivalent to the standard formulation, but that avoids the counterexample that Hellman gives in "Gleason's Theorem is not Constructively Provable".
引用
收藏
页码：661 / 670
页数：10
相关论文
共 50 条
12345