collaborators

1 paper

math.LO2006

QL(C^n) determines n

Tobias J. Hagge

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, affir…