QL(C^n) determines n
逻辑
2007-05-23 v1
摘要
This addendum to math.LO/0412144 shows that the set of tautological quantum logical propositional formulas for a finite dimensional vector space C^n is different for every n, affirmatively answering a question posed therein.
引用
@article{arxiv.math/0604373,
title = {QL(C^n) determines n},
author = {Tobias J. Hagge},
journal= {arXiv preprint arXiv:math/0604373},
year = {2007}
}
备注
4 pages