\begin{thebibliography}{10}

\bibitem{pitowsky}
Itamar Pitowsky.
\newblock {\em Quantum Probability---Quantum Logic}.
\newblock Springer, Berlin, 1989.

\bibitem{Pit-91}
Itamar Pitowsky.
\newblock Correlation polytopes their geometry and complexity.
\newblock {\em Mathematical Programming}, 50:395--414, 1991.

\bibitem{Boole-62}
George Boole.
\newblock On the theory of probabilities.
\newblock {\em Philosophical Transactions of the Royal Society of London},
  152:225--252, 1862.

\bibitem{cdd-pck}
Komei Fukuda.
\newblock {cdd} program.
\newblock 2000.

\bibitem{Boole}
George Boole.
\newblock {\em An investigation of the laws of thought}.
\newblock Dover edition, New York, 1958.

\bibitem{Hailperin}
Theodore Hailperin.
\newblock {\em Boole's logic and probability (Studies in logic and the
  foundations of mathematics ; 85)}.
\newblock North-Holland, Amsterdam, 1976.

\bibitem{Pit-94}
Itamar Pitowsky.
\newblock {G}eorge {B}oole's `conditions od possible experience' and the
  quantum puzzle.
\newblock {\em Brit. J. Phil. Sci.}, 45:95--125, 1994.

\bibitem{cl-horne}
J.~F. Clauser and M.~A. Horne.
\newblock {\em Physical Review}, D10:526, 1974.

\bibitem{chsh}
J.~F. Clauser, M.~A. Horne, A.~Shimony, and R.~A. Holt.
\newblock {\em Physical Review Letters}, 23:880--884, 1969.

\bibitem{clauser}
J.~F. Clauser and A.~Shimony.
\newblock {B}ellos theorem: experimental tests and implications.
\newblock {\em Rep. Prog. Phys.}, 41:1881--1926, 1978.

\bibitem{pitowsky-89a}
Itamar Pitowsky.
\newblock From {G}eorge {B}oole to {J}ohn {B}ell: The origin of {B}ell's
  inequality.
\newblock In M.~Kafatos, editor, {\em {B}ell's Theorem, Quantum Theory and the
  Conceptions of the Universe}. Kluwer, Dordrecht, 1989.

\bibitem{ziegler}
G{\"{u}}nter~M. Ziegler.
\newblock {\em Lectures on Polytopes}.
\newblock Springer, New York, 1994.

\bibitem{MRTT53}
T.S. Motzkin, H.~Raiffa, G.L. Thompson, and R.M. Thrall.
\newblock The double description method.
\newblock In {\em Contributions to theory of games, Vol. 2}. Princeton
  University Press, New Jersey, Princeton, 1953.

\bibitem{kolmogorov2}
A.~N. Kolmogorov.
\newblock {\em Grundbegriffe der Wahrscheinlichkeitsrechnung}.
\newblock Springer, Berlin, 1933.
\newblock English translation in \cite{kolmogorov2e}.

\bibitem{2000-poly}
Itamar Pitowsky and Karl Svozil.
\newblock New optimal tests of quantum nonlocality.
\newblock {\em Physical Review}, A, to appear, 2001.
\newblock {\tt arXiv:quant-ph/0011060}.

\bibitem{kolmogorov2e}
A.~N. Kolmogorov.
\newblock {\em Foundations of the Theory of Probability}.
\newblock Chelsea, New York, 1956.

\end{thebibliography}
