arXiv:math/0011208 · Studia LogicaQuantum Logic in Intuitionistic PerspectiveBob CoeckePublished Apr 1, 2002• 28 citationsarXivHTMLPDFDOI10.1023/a:1015106515413