Abstract
This addendum to [2] shows that the set of tautological quantum logical propositional formulas for a finite dimensional vector space ℂⁿ is different for every n, affirmatively answering a question posed therein.
Citation
Tobias J. Hagge. "QL(ℂⁿ) determines n." J. Symbolic Logic 72 (4) 1194 - 1196, December 2007. https://doi.org/10.2178/jsl/1203350780
Information
Published: December 2007
First available in Project Euclid: 18 February 2008
zbMATH: 1130.03037
MathSciNet: MR2371199
Digital Object Identifier: 10.2178/jsl/1203350780
Rights: Copyright © 2007 Association for Symbolic Logic
