QL(Cⁿ) determines n
Hagge, Tobias J.
Original · EN
This addendum to math.LO/0412144 shows that the set of tautological quantum logical propositional formulas for a finite dimensional vector space Cⁿ is different for every n, affirmatively answering a question posed therein.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.