Hostname: page-component-8448b6f56d-xtgtn Total loading time: 0 Render date: 2024-04-25T04:11:39.758Z Has data issue: false hasContentIssue false
  • English
  • Français

QL(ℂn) determines n

Published online by Cambridge University Press:  12 March 2014

Tobias J. Hagge
Tobias J. Hagge*
Affiliation:
Department of Mathematics, Indiana University, Bloomington, IN 47405, USA. E-mail: thagge@indiana.edu
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 72 , Issue 4 , December 2007 , pp. 1194 - 1196
Copyright
Copyright © Association for Symbolic Logic 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Birkhoff, G. and von Neumann, J., The logic of quantum mechanics, Annals of Mathematics, vol. 37 (1936), pp. 823–843.CrossRefGoogle Scholar
[2]Dunn, J. Michael, Hagge, Tobias J., Moss, Lawrence S., and Wang, Zhenghan, Quantum logic as motivated by quantum computing, this Journal, vol. 70 (2005), no. 2.Google Scholar