QL(ℂn) determines n
Tobias Hagge · Journal of Symbolic Logic · 2007
Abstract This addendum to [2] shows that the set of tautological quantum logical propositional formulas for a finite dimensional vector space ℂn is different for every n, affirmatively answering a question posed therein.