@Inproceedings{EPTCS236.9,
  author    = {Ozawa, Masanao},
  year      = {2017},
  title     = {Operational Meanings of Orders of Observables Defined through  Quantum Set Theories with Different Conditionals},
  editor    = {Duncan, Ross and Heunen, Chris},
  booktitle = {{\rm Proceedings 13th International Conference on}
               Quantum Physics and Logic,
               {\rm Glasgow, Scotland, 6-10 June 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {236},
  publisher = {Open Publishing Association},
  pages     = {127-144},
  doi       = {10.4204/EPTCS.236.9},
}