QL(C^n)决定n

摘要:有限维向量空间C^n中的逻辑命题公式的重言式量子逻辑集合对于每个n都是不同的,肯定地回答了在其中提出的一个问题。

作者:Tobias J. Hagge

论文ID:math/0604373

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中