@Inproceedings{EPTCS172.2, author = {Ozawa, Masanao}, year = {2014}, title = {Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract)}, editor = {Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash}, booktitle = {{\rm Proceedings of the 11th workshop on} Quantum Physics and Logic, {\rm Kyoto, Japan, 4-6th June 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {172}, publisher = {Open Publishing Association}, pages = {15-26}, doi = {10.4204/EPTCS.172.2}, }