\relax 
\citation{birkhoff-36}
\citation{bridgman27}
\citation{bridgman}
\citation{bridgman52}
\@writefile{toc}{\contentsline {chapter}{Preface}{i}}
\citation{cantor-set1}
\citation{cantor-set2}
\citation{fraenkel1}
\citation{wigner}
\citation{specker-60}
\citation{specker-ges}
\citation{kochen1}
\citation{kochen2}
\citation{kochen3}
\citation{busch-85}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Co-measurable observables}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ql-com}{{1}{1}}
\citation{birkhoff-36}
\citation{v-neumann-49}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Elementary propositions}{2}}
\newlabel{s-t}{{1.1}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Operations and order relations among propositions}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Spin one-half}{7}}
\newlabel{sec-soh}{{1.3}{7}}
\citation{feynman-III}
\@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces  Stern-Gerlach type experiment measuring the spin states for a spin one-half particle.}}{8}}
\newlabel{f-stgsoh}{{1.1}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.2}{\ignorespaces  Realisation of the propositions in twodimensional real Hilbert space. The rays and the area should be extended to infinity. Arrows indicate the proper subset relation which can be interpreted as logical implication relation. }}{10}}
\newlabel{f-ex-hl2}{{1.2}{10}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.3}{\ignorespaces  Hasse diagram of the spin state propositions which are co-measurable. The resulting logical structure is the Boolean algebra $2^2$ with two atoms $p_{-}$ and $p_{+}$. }}{11}}
\newlabel{f-hd-co2d}{{1.3}{11}}
\newlabel{greechie-diagram}{{1.3}{11}}
\citation{feynman-III}
\@writefile{lof}{\contentsline {figure}{\numberline {1.4}{\ignorespaces  Greechie diagram of the spin one-half state propositions which are co-measurable. The resulting logical structure is the Boolean algebra $2^2$ with two atoms $p_{-}$ and $p_{+}$. }}{12}}
\newlabel{f-gd-co2d}{{1.4}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {1.4}Spin one}{12}}
\newlabel{sec-so}{{1.4}{12}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.5}{\ignorespaces  Stern-Gerlach type experiment measuring the spin states for a spin one particle.}}{13}}
\newlabel{f-stgso}{{1.5}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.6}{\ignorespaces  Realisation of the propositions in threedimensional real Hilbert space. The rays, areas and the volume should be extended to infinity. Arrows indicate the proper subset relation which can be interpreted as logical implication relation. }}{16}}
\newlabel{f-ex-hl}{{1.6}{16}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.7}{\ignorespaces  Hasse diagram of the spin state propositions which are co-measurable. The resulting logical structure is the Boolean algebra $2^3$ with three atoms $p_{-1}, p_0$, and $p_{+1}$. }}{17}}
\newlabel{f-hd-co3d}{{1.7}{17}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.8}{\ignorespaces  Greechie diagram of the spin one state propositions which are co-measurable. The resulting logical structure is the Boolean algebra $2^3$ with three atoms $p_{-1}, p_0$, and $p_{+1}$. }}{18}}
\newlabel{f-gd-co3d}{{1.8}{18}}
\@writefile{lot}{\contentsline {table}{\numberline {1.1}{\ignorespaces Comparison of the identifications of lattice relations and operations for the lattices of subsets of a sets, for experimental propositional calculi, for Hilbert lattices, and for lattices of commuting projection operators. }}{19}}
\newlabel{tcompa}{{1.1}{19}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Complementarity}{21}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{l-nonco}{{2}{21}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Blocks}{21}}
\citation{kochen1}
\citation{epr}
\citation{jammer-92}
\citation{penrose:94}
\citation{specker-60}
\citation{lewis-73}
\citation{peres222}
\citation{peres}
\citation{bell}
\citation{bridgman27}
\citation{bridgman}
\citation{bridgman36}
\citation{bridgman50}
\citation{bridgman52}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Pasting of quasi-classical logics}{24}}
\citation{kalmbach-83}
\citation{kalmbach-86}
\citation{piz-88}
\citation{pulmannova-91}
\citation{nav:91}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Spin one-half}{25}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces  Hasse diagram of the ``Chinese latern'' form obtained by the pasting of two spin one-half state propositional systems $L(x)$ and $L(\overline x)$ which are not co-measurable. The resulting logical structure is a modular orthocomplemented lattice $L(x)\oplus L(\overline {x}) = MO_2$.  The blocks (without $0,1$) are indicated by dashed boxes. They will be henceforth omitted. }}{26}}
\newlabel{f-hd-mo2}{{2.1}{26}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces  Greechie diagram of two spin one-half state propositional systems $L(x)$ and $L(\overline x)$ which are not co-measurable. }}{26}}
\newlabel{f-gd-mo2}{{2.2}{26}}
\newlabel{l-dist}{{2.3}{26}}
\newlabel{l-modular}{{2.3}{27}}
\citation{hultgren77}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces  Hasse diagram of $n$ spin one-half state propositional systems $L(x^i), i=1,\mathinner {\cdotp \cdotp \cdotp },n$ which are not co-measurable. The superscript $i$ represents the $i$th measurement direction. }}{28}}
\newlabel{f-hd-mon}{{2.3}{28}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.4}{\ignorespaces  Greechie diagram of $n$ spin one-half state propositional systems $L(x^i), i=1,\mathinner {\cdotp \cdotp \cdotp },n$ which are not co-measurable. The superscript $i$ represents the $i$th measurement direction. }}{29}}
\newlabel{f-gd-mon}{{2.4}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Spin one}{29}}
\newlabel{l-ncso}{{2.4}{29}}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Pastings of higher complexity}{30}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.1}Finite subalgebras in two dimensions}{30}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.2}Finite subalgebras of threedimensional Hilbert spaces}{30}}
\newlabel{finitesubortholattices}{{2.5.2}{30}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.5}{\ignorespaces  Hasse diagram of $n$ spin one state propositional systems $L(x^i), i=1,\dots  ,n$ which are not co-measurable. }}{31}}
\newlabel{f-hd-23}{{2.5}{31}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.6}{\ignorespaces  Greechie diagram of $n$ spin one state propositional systems $L(x^i), i=1,\dots  ,n$ which are not co-measurable. }}{32}}
\newlabel{f-gd-23}{{2.6}{32}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.7}{\ignorespaces Greechie diagrams of finite subalgebras of twodimensional quantum logic.}}{32}}
\newlabel{Fsubortholattices2}{{2.7}{32}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.8}{\ignorespaces Greechie diagrams of finite subalgebras of threedimensional quantum logic.}}{33}}
\newlabel{Fsubortholattices}{{2.8}{33}}
\citation{Foulis-Randall}
\citation{giuntini-91}
\@writefile{lof}{\contentsline {figure}{\numberline {2.9}{\ignorespaces  Hasse diagram of the logical structure $L_{12}$ for an experiment discussed by Foulis and Randall.}}{34}}
\newlabel{f-hd-fr}{{2.9}{34}}
\newlabel{l-fr}{{2.5.2}{34}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.10}{\ignorespaces  Realisation of the observable system $\{n,l,r,f,b\}$ by two tripodes $T_1=\{n,r,l\}$ and $T_2=\{n,b,f\}$ glued together at one common leg $n$.}}{35}}
\newlabel{f-two-tripodes1}{{2.10}{35}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.3}Leaving the finite subalgebra case}{36}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.11}{\ignorespaces  Hasse diagram of the logical structure $L_{4n+4}$ for the generalization of an experiment discussed by Foulis and Randall}}{37}}
\newlabel{f-hd-frm}{{2.11}{37}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.12}{\ignorespaces  Greechie diagram of simplest non modular orthocomplemented lattice. }}{38}}
\newlabel{gd-nonfinite}{{2.12}{38}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.13}{\ignorespaces  Hasse diagram of simplest non modular orthocomplemented lattice $L_{10}$. }}{38}}
\newlabel{hd-nonfinite}{{2.13}{38}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Composite systems}{39}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Cartesian product of lattices}{39}}
\newlabel{l-c-p}{{3.1}{39}}
\citation{bell-a}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces  Cartesian products $2^n\times 2^m=2^{n+m}$.}}{40}}
\newlabel{f-cp2xnm}{{3.1}{40}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces  Cartesian products $2^1\times 2^1=2^2$ and $2^1\times 2^1 \times 2^1=2^3$.}}{41}}
\newlabel{f-cp2x21}{{3.2}{41}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces  Cartesian product $ \{0,a,b,1\} \times \{0,c,d,1\} = 2^4$. In the product lattice, for instance, $a\equiv (a,0)$.}}{42}}
\newlabel{f-cp2x22}{{3.3}{42}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces  Experimental configuration requireing a reduced product lattice.}}{43}}
\newlabel{f-mp}{{3.4}{43}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5}{\ignorespaces  Hasse diagram of a reduced product lattice.}}{45}}
\newlabel{f-mpol}{{3.5}{45}}
\citation{schrodinger}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Hilbert lattices}{47}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{l-hila}{{4}{47}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Review of basic definitions}{47}}
\citation{pulmannova-91}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Algebraic characterization}{48}}
\citation{jauch}
\citation{kochen2}
\newlabel{n-h-dist-2}{{4.1}{49}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Demonstration of the nondistributivity of Hilbert lattices. }}{50}}
\newlabel{f-hilbert}{{4.1}{50}}
\citation{birkhoff-36}
\citation{birkhoff-48}
\newlabel{l-orthom}{{4.2}{51}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.2}{\ignorespaces Every non modular lattice contains this lattice as a substructure. }}{52}}
\newlabel{f-hasse-nm1}{{4.2}{52}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.3}{\ignorespaces Every non orthomodular lattice contains this lattice as a subalgebra. }}{52}}
\newlabel{f-d-s-o-a-nm-l1}{{4.3}{52}}
\citation{keller-80}
\citation{piz-90}
\citation{bishop}
\citation{bridges-richman}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Complete Hilbert lattice for spin one-half}{53}}
\citation{hultgren77}
\citation{swift80a}
\citation{feynman-III}
\@writefile{lof}{\contentsline {figure}{\numberline {4.4}{\ignorespaces Hasse diagram of $MO_{c}$, the ``horizontal sum'' over non denumerable distinct Boolean algebras $2^2$ associated with different directions or measurement angles. One of these subalgebras $\{0,p,p',1\}$ is drawn explicitly. The horizontal line stands for the non denumerable atoms of the subalgebras. }}{54}}
\newlabel{f-hd-moaleph1}{{4.4}{54}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Hilbert lattice for spin one measurements}{54}}
\newlabel{l-nonc2so}{{4.4}{54}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.5}{\ignorespaces Hasse diagram of the ``horizontal sum'' over non denumerable distinct Boolean algebras $2^3$ associated with different directions or measurement angles. One of these subalgebras $\{0,p_{-1},p_0,p_{+1},p_{-1}',p_0',p_{+1}',1\}$ is drawn explicitly. The horizontal lines stand for the non denumerable elements (atoms and their complements) of the subalgebras. }}{55}}
\newlabel{f-hd-23c}{{4.5}{55}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Onedimensional subspaces in three dimensions}{56}}
\newlabel{itera}{{4.5}{56}}
\newlabel{generate}{{4.5}{57}}
\newlabel{orthogenerate}{{4.5}{57}}
\citation{havlicek}
\citation{dilworth}
\@writefile{lof}{\contentsline {figure}{\numberline {4.6}{\ignorespaces  Generation of the three tripode systems $T_1$---$T_2$---$T_3$ by two rotations $\varphi _1=\pi /2$ around $(1,0,0)$ and subsequently by $\varphi _2=\pi /2$ around $(0,0,1)$. }}{59}}
\newlabel{f-ttsr}{{4.6}{59}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.7}{\ignorespaces Greechie diagram of the three tripode system $T_1$---$T_2$---$T_3$ known as the Dilworth lattice. The atoms are subspaces represented by vector coordinates. }}{59}}
\newlabel{f-tts}{{4.7}{59}}
\citation{von-mises}
\citation{ramsey}
\citation{kolmogorov2}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Probabilities}{61}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{l-Prob}{{5}{61}}
\citation{Gleason}
\newlabel{l-gleason}{{5.1}{62}}
\newlabel{l-gleason1}{{5.2}{62}}
\citation{c-k-m}
\citation{kalmbach-86}
\citation{pulmannova-91}
\citation{r:dvur-93}
\citation{kolmogorov2}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Probabilities in blocks}{63}}
\citation{jaynes2}
\citation{hobson}
\citation{katz}
\citation{rs-77}
\citation{li:92}
\newlabel{l-tvm}{{5.1}{64}}
\citation{halmos-ba}
\citation{kochen1}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Interlude: two-valued measures}{65}}
\citation{specker-60}
\newlabel{imbeddability}{{5.2}{66}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Probabilities in pastings}{66}}
\citation{greechie:71}
\citation{greechie:71}
\citation{pulmannova-91}
\citation{feynman-III}
\citation{gudder}
\@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces  a) Orthomodular partially ordered set admitting no probability measure; b) orthomodular ``spider'' lattice admitting no probability measure.}}{68}}
\newlabel{f-godex}{{5.1}{68}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Spin one-half}{68}}
\newlabel{l-Psm}{{5.4}{69}}
\newlabel{l-pauli1}{{5.3}{69}}
\newlabel{l-pauli2}{{5.4}{69}}
\newlabel{l-sexyz}{{5.4}{69}}
\newlabel{ansatz-soh}{{5.5}{69}}
\newlabel{l-sp-soh}{{5.6}{70}}
\newlabel{l-ev-soh}{{5.7}{70}}
\newlabel{ansatz-sohg}{{5.8}{70}}
\newlabel{l-c1}{{5.9}{70}}
\newlabel{l-c2}{{5.10}{70}}
\newlabel{l-assoh}{{5.11}{71}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Non Gleason probability measures}{72}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.2}{\ignorespaces  Example for a non Gleason probability measure for $n$ spin one-half state propositional systems $L(x^i), i=1,\mathinner {\cdotp \cdotp \cdotp },n$ which are not co-measurable. The superscript $i$ represents the $i$th measurement direction. The concentric circles indicate the atoms with probability measure 1. }}{72}}
\newlabel{f-gd-monm}{{5.2}{72}}
\citation{gudder}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Spin one}{73}}
\newlabel{l-j123}{{5.12}{73}}
\newlabel{ansatz-so}{{5.13}{73}}
\citation{specker-60}
\citation{specker-ges}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Contextuality}{77}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{infuturabilities}{{6}{77}}
\newlabel{counterfactuals}{{6}{77}}
\newlabel{Lvg}{{6}{77}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Infuturabilities and counterfactuals}{77}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.1}{\ignorespaces  The quantum jigsaw puzzle in three dimensions: is it possible to consistently arrange undenumerably many pieces of counterfactual observables, only one of which is actually measurable? Every tripode has a red leg (thick line) and two green legs.}}{78}}
\newlabel{f-jigsaw}{{6.1}{78}}
\citation{specker-60}
\citation{bell-66}
\citation{kochen1}
\@writefile{lof}{\contentsline {figure}{\numberline {6.2}{\ignorespaces  Realisation of the observable system $\{o_1,o_2,o_3,o_4,o_5\}$ by two tripodes $T_1$ and $T_2$. The two-valued measure is $P (o_1)=1$, $P (o_2)=\mathinner {\cdotp \cdotp \cdotp }=P (o_5)$ in threedimensional real Hilbert space.}}{81}}
\newlabel{f-two-tripodes}{{6.2}{81}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.3}{\ignorespaces  Greechie diagram of the realisation of $\{o_1,o_2,o_3,o_4,o_5\}$ by two tripodes $T_1$ and $T_2$ glued together at one leg. The concentric circle indicates one of the possible colorings: the common leg is red. }}{81}}
\newlabel{f-gd-two-tripodes}{{6.3}{81}}
\citation{epr}
\citation{specker-60}
\citation{kochen1}
\citation{bell-66}
\citation{Gleason}
\@writefile{lof}{\contentsline {figure}{\numberline {6.4}{\ignorespaces  Hasse diagram of the logical structure of $\{o_1,o_2,o_3,o_4,o_5\}$ represented by two tripodes $T_1$ and $T_2$ glued together at one leg.}}{82}}
\newlabel{f-hd-two-tripodes}{{6.4}{82}}
\@writefile{lot}{\contentsline {table}{\numberline {6.1}{\ignorespaces Each row represents a two-valued probability measure on $L_{12}$. The corresponding coloring is obtained by identifying $1$ with red and $0$ with green. }}{83}}
\newlabel{t-l12-tvs}{{6.1}{83}}
\citation{specker-60}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Kochen--Specker construction}{84}}
\citation{kochen1}
\citation{svozil-tkadlec}
\citation{pulmannova-91}
\citation{schaller-96}
\citation{svozil-tkadlec}
\citation{tkadlec-96}
\citation{kochen1}
\citation{pulmannova-91}
\citation{schaller-96}
\citation{svozil-tkadlec}
\citation{tkadlec-96}
\citation{kochen1}
\citation{pulmannova-91}
\citation{schaller-96}
\citation{tkadlec-96}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\@writefile{lof}{\contentsline {figure}{\numberline {6.5}{\ignorespaces  `Almost' Greechie diagram of a Hilbert lattice with a non full set of probability measures. From \cite [Figures 2.2 and 4]{svozil-tkadlec} and \cite [Figure 1]{tkadlec-96} and based upon \cite [$\Gamma _1$]{kochen1}, \cite [Figure 2.4.6]{pulmannova-91} and \cite [Figures 12--14]{schaller-96}. }}{85}}
\newlabel{f-ksg1a}{{6.5}{85}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}Non full set of two-valued probability measures}{85}}
\citation{kochen1}
\citation{tkadlec-96}
\citation{kochen1}
\citation{tkadlec-96}
\@writefile{lof}{\contentsline {figure}{\numberline {6.6}{\ignorespaces  `Almost' Greechie diagram of $\Gamma _1$ in \cite {kochen1}. }}{86}}
\newlabel{f-ksg1}{{6.6}{86}}
\citation{kochen1}
\citation{svozil-tkadlec}
\citation{kochen1}
\citation{kochen1}
\citation{kochen1}
\citation{tkadlec-96}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Non separating set of two-valued probability measures}{87}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.7}{\ignorespaces  `Almost' Greechie diagram of a Hilbert lattice with a non separating set of probability measures \cite [$\Gamma _3$]{kochen1}. }}{88}}
\newlabel{f-ksg3}{{6.7}{88}}
\citation{kochen1}
\citation{kochen1}
\citation{kochen1}
\citation{kochen1}
\citation{kochen1}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Non existent set of two-valued probability measures}{89}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.8}{\ignorespaces  `Almost' Greechie diagram of a Hilbert lattice with no two-valued probability measure \cite [$\Gamma _2$]{kochen1}. }}{90}}
\newlabel{f-ksg2}{{6.8}{90}}
\citation{bell-66}
\citation{bell-66}
\citation{mermin-93}
\citation{bell-66}
\citation{svozil-tkadlec}
\citation{clifton-93}
\citation{bell-66}
\citation{svozil-tkadlec}
\citation{clifton-93}
\@writefile{lof}{\contentsline {figure}{\numberline {6.9}{\ignorespaces  `Almost' Greechie diagram of a Hilbert lattice with no full set of states, based on \cite {bell-66}, \cite [Figure 7.5]{svozil-tkadlec}, and \cite [Figure 1]{clifton-93}. }}{92}}
\newlabel{f-b1}{{6.9}{92}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}Bell construction}{92}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}Non full set of probability measures}{92}}
\citation{mermin-93}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}Non existent set of probability measures}{94}}
\citation{bell-66}
\citation{mermin-93}
\citation{bell-66}
\citation{mermin-93}
\citation{peres-91}
\@writefile{lof}{\contentsline {figure}{\numberline {6.10}{\ignorespaces  `Almost' Greechie diagram of a Hilbert lattice with no two-valued state, based on \cite {bell-66} and \cite [p. 808]{mermin-93}. }}{95}}
\newlabel{f-b2}{{6.10}{95}}
\citation{svozil-tkadlec}
\citation{havlicek}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{tkadlec-96}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}Peres version}{96}}
\newlabel{p-ksl}{{6.1}{96}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.11}{\ignorespaces `Almost' Greechie diagram of a set of propositions imbeddable in threedimensional Hilbert space without any two-valued probability measure \cite [Figure 9]{svozil-tkadlec}.  }}{97}}
\newlabel{sk33}{{6.11}{97}}
\citation{svozil-tkadlec}
\citation{peres-91}
\citation{peres111}
\citation{peres-91}
\citation{mermin90b}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}Non locality}{102}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}Peres-Mermin version}{102}}
\citation{epr}
\citation{mermin90b}
\citation{mermin-93}
\citation{ghz}
\citation{ghsz}
\@writefile{lot}{\contentsline {table}{\numberline {6.2}{\ignorespaces The Peres-Mermin version of the Kochen--Specker theorem in fourdimensional Hilbert space. The observables in each row and column are co-measurable (i.e., they commute); yet the row product is different from the column product. Note that ${\@mathbb I}$ is a $(4\times 4)$-matrix }}{103}}
\newlabel{l-t-p-m-ks}{{6.2}{103}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Greenberger-Horne-Zeilinger-Mermin version}{103}}
\citation{ghz}
\citation{ghsz}
\@writefile{lot}{\contentsline {table}{\numberline {6.3}{\ignorespaces The Greenberger-Horne-Zeilinger-Mermin version of the Kochen--Specker theorem in eightdimensional Hilbert space. The observables are arranged in five groups of four, lying along the lines of a five-pointed star. The observables in each of the groups are are co-measurable (i.e., they commute); yet the product of the horizontal line is $-1$, wheres the product of the other lines is $+1$. }}{105}}
\newlabel{l-t-ghz-ks}{{6.3}{105}}
\newlabel{e-ghz1}{{6.3}{106}}
\newlabel{e-ghz2}{{6.4}{106}}
\newlabel{e-ghz3}{{6.5}{106}}
\newlabel{e-ghz4}{{6.6}{106}}
\citation{peres111}
\citation{halmos-vs}
\citation{halmos-vs}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}Physical realizability}{107}}
\newlabel{l-pruop}{{6.6}{107}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.1}Counterfactuality of the argument}{107}}
\citation{kochen1}
\citation{peres}
\citation{rzbb}
\citation{swift80a}
\citation{rzbb}
\citation{kochen1}
\newlabel{le-ndfuo}{{6.7}{108}}
\citation{rzbb}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.2}Consequences of counterfactual reasoning}{109}}
\citation{epr}
\citation{bell-66}
\citation{Gleason}
\citation{kochen1}
\citation{peres}
\citation{mermin-93}
\newlabel{e-decom1}{{6.8}{110}}
\newlabel{e-decom2}{{6.9}{110}}
\newlabel{e-decom3}{{6.10}{110}}
\citation{rzbb}
\newlabel{e-decom2a}{{6.11}{111}}
\newlabel{e-decom3a}{{6.12}{111}}
\newlabel{e-decom4a}{{6.13}{111}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.12}{\ignorespaces  EPR-type setup for measurement of arbitrary operator decomposed into its self-adjoint real and imaginary part. }}{111}}
\newlabel{f-eprts}{{6.12}{111}}
\citation{coray}
\citation{specker-60}
\citation{kochen2}
\citation{kochen3}
\citation{kochen1}
\citation{clavadetscher}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Quantum tautologies}{113}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{kochen1}
\citation{kochen1}
\citation{kochen1}
\citation{bell-66}
\citation{mermin-93}
\citation{bell-66}
\citation{mermin-93}
\citation{bell-66}
\citation{mermin-93}
\citation{kochen1}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces  `Almost' Greechie diagram of a Hilbert lattice without a unital set of two-valued probability measures. Based on \cite {bell-66} and \cite [p. 808]{mermin-93}. }}{116}}
\newlabel{f-b22aa}{{7.1}{116}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.2}{\ignorespaces Greechie diagram of a suborthoposet of the threedimensianal Hilbert lattice without a unital set of two-valued probability measures. From \cite [Figure 7.3]{svozil-tkadlec}.}}{117}}
\newlabel{l-ksf73}{{7.2}{117}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.3}{\ignorespaces `Almost' Greechie diagram of a suborthoposet of the threedimensianal Hilbert lattice without a unital set of two-valued probability measures. From \cite [Figure 8]{svozil-tkadlec}.}}{118}}
\newlabel{FGD2pentagons}{{7.3}{118}}
\citation{Schuette}
\citation{clavadetscher}
\citation{svozil-nat-acad}
\citation{svozil-tkadlec}
\citation{svozil-tkadlec}
\citation{tkadlec-96}
\citation{Schuette}
\citation{clavadetscher}
\citation{svozil-tkadlec}
\citation{tkadlec-96}
\citation{svozil-tkadlec}
\citation{tkadlec-96}
\citation{Schuette}
\citation{tkadlec-96}
\citation{Schuette}
\@writefile{lof}{\contentsline {figure}{\numberline {7.4}{\ignorespaces `Almost' Greechie diagram of a propositional structure in three threedimensional Hilbert space without a unital set of two-valued probability measures. From \cite [Figure 2]{tkadlec-96}, based upon \cite {Schuette}. }}{122}}
\newlabel{GDnotunital}{{7.4}{122}}
\citation{ra-66}
\citation{ran-foul-70}
\citation{Foulis-Randall}
\citation{ran-foul-73}
\citation{foulis}
\citation{cohen}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Classical analogies}{125}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{lof}{\contentsline {figure}{\numberline {8.1}{\ignorespaces  A classical system in a black box serves as an (imperfect) analogon for a quantum system.}}{126}}
\newlabel{f-bbox}{{8.1}{126}}
\citation{bos}
\citation{toffoli:79}
\citation{svo-83}
\citation{svo5}
\citation{svo-86}
\citation{roessler-87}
\citation{roessler-92}
\citation{svozil-93}
\citation{cohen}
\citation{dvur-pul-svo}
\citation{cohen}
\citation{cohen}
\@writefile{lof}{\contentsline {figure}{\numberline {8.2}{\ignorespaces Small biotope with a firefly roaming around in a transparent box \cite {cohen}.  The firefly is not drawn.}}{127}}
\newlabel{f-ffiab}{{8.2}{127}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}``Firefly-in-a-box'' and generalized urn models}{127}}
\citation{wright}
\citation{dvur-pul-svo}
\citation{wright}
\@writefile{lof}{\contentsline {figure}{\numberline {8.3}{\ignorespaces Greechie diagram of the ``firefly-in-the-box'' model drawn in Figure \ref {f-ffiab}.  }}{128}}
\newlabel{f-ffiab2}{{8.3}{128}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.4}{\ignorespaces Hasse diagram of the ``firefly-in-the-box'' model drawn in Figure \ref {f-ffiab}. It is identical with Figure \ref {f-hd-fr}.  }}{129}}
\newlabel{f-ffiab3}{{8.4}{129}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.5}{\ignorespaces Wright's generalized urn model.  }}{129}}
\newlabel{f-gum-w}{{8.5}{129}}
\@writefile{lot}{\contentsline {table}{\numberline {8.1}{\ignorespaces Ball types in Wright's generalized urn model \cite {wright}.}}{130}}
\newlabel{t-wright}{{8.1}{130}}
\citation{aerts:82}
\citation{aerts}
\citation{paz}
\citation{e-f-moore}
\citation{finkelstein-83}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}Automaton logic}{131}}
\newlabel{d:parlog}{{8.2}{131}}
\citation{moore}
\citation{chaitin-65}
\citation{conway}
\citation{brauer-84}
\citation{svozil-93}
\citation{svozil-93}
\citation{schaller-92}
\citation{schaller-95}
\citation{schaller-96}
\citation{dvur-pul-svo}
\citation{svo:za}
\citation{svozil-tkadlec}
\citation{cal-sv-yu}
\citation{e-f-moore}
\citation{hopcroft}
\citation{hartmanis}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}Moore and Mealy automata, state machines and combinatorial circuits}{132}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.6}{\ignorespaces   Simplest Mealy automaton featuring computational complementarity.}}{134}}
\newlabel{xx1}{{8.6}{134}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.2}Machine isomorphism, serial and parallel decompositions, networks and universality}{134}}
\citation{hartmanis}
\citation{hartmanis}
\citation{e-f-moore}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.3}Construction of automaton partition logics}{135}}
\citation{svozil-93}
\citation{svozil-93}
\citation{schaller-92}
\citation{schaller-95}
\citation{schaller-96}
\citation{dvur-pul-svo}
\citation{svo:za}
\citation{svozil-tkadlec}
\citation{cal-sv-yu}
\citation{svozil-93}
\@writefile{lof}{\contentsline {figure}{\numberline {8.7}{\ignorespaces  Hasse diagram of the propositional calculus of the Mealy automaton drawn in Figure \ref {xx1}. }}{138}}
\newlabel{f-mds}{{8.7}{138}}
\citation{svozil-93}
\citation{svozil-tkadlec}
\@writefile{lof}{\contentsline {figure}{\numberline {8.8}{\ignorespaces  a) Mealy automaton; b) Hasse diagram of the propositional calculus of a). }}{140}}
\newlabel{f-fxxy}{{8.8}{140}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.4}Varieties}{141}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.9}{\ignorespaces  Boolean algebras $2^1, 2^2,2^3$, and $2^4$.}}{142}}
\newlabel{f-vaall}{{8.9}{142}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.10}{\ignorespaces  Horizontal sums of $2^2$.}}{143}}
\newlabel{f-vaall1}{{8.10}{143}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.11}{\ignorespaces  Horizontal sums of $2^3$.}}{144}}
\newlabel{f-vaall2}{{8.11}{144}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.5}Characterization}{145}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.12}{\ignorespaces  Horizontal sums of $2^3$ and $2^2$.}}{146}}
\newlabel{f-vaall3}{{8.12}{146}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.13}{\ignorespaces  Pasting of $2^3$.}}{147}}
\newlabel{f-vaall4}{{8.13}{147}}
\citation{e-f-moore}
\citation{kochen1}
\citation{svozil-93}
\citation{schaller-92}
\citation{schaller-95}
\citation{schaller-96}
\@writefile{lof}{\contentsline {figure}{\numberline {8.14}{\ignorespaces  Hasse diagram of Moore's uncertainty automaton}}{149}}
\newlabel{mooreh}{{8.14}{149}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.15}{\ignorespaces  Hasse diagram of an imbedding of $L_{12}$ depicted in Figure \ref {mooreh} into $2^4$. Concentric circles indicate points of $2^4$ included in $L_{12}$.}}{149}}
\newlabel{mooreh-e}{{8.15}{149}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.16}{\ignorespaces  Hasse diagram of an imbedding of $MO_2$ drawn in a) into $2^3$ drawn in b). Again, concentric circles indicate points of $2^3$ included in $MO_2$.}}{150}}
\newlabel{mooreh-e2}{{8.16}{150}}
\citation{schaller-96}
\citation{schaller-96}
\citation{schaller-96}
\@writefile{lof}{\contentsline {figure}{\numberline {8.17}{\ignorespaces  The isomorphic partition logic to Figure 6.5\hbox {} \cite [Figure 14]{schaller-96}.}}{151}}
\newlabel{ex23}{{8.17}{151}}
\@writefile{toc}{\contentsline {chapter}{Appendix}{151}}
\@writefile{lof}{\contentsline {figure}{\numberline {8.18}{\ignorespaces  Two-valued probability measures on $L_{12}$ \cite [Figure 13]{schaller-96}.}}{152}}
\newlabel{ex22}{{8.18}{152}}
\citation{planck:1901}
\citation{ein-5}
\citation{planck:1916}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}Hilbert space quantum mechanics}{153}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{appendix-a}{{A}{153}}
\citation{feynman-III}
\citation{har}
\citation{lipkin}
\citation{ba-89}
\citation{messiah-61}
\citation{dirac}
\citation{peres}
\citation{v-neumann-49}
\citation{bell-87}
\citation{jammer1}
\citation{wheeler-Zurek:83}
\citation{dunford-schwartz}
\citation{v-neumann-49}
\citation{rzbb}
\citation{greenberger2}
\citation{schrodinger}
\citation{davydov}
\citation{liermann}
\citation{birkhoff-48}
\citation{kalmbach-83}
\citation{kalmbach-86}
\citation{pulmannova-91}
\citation{giuntini-91}
\citation{r:dvur-93}
\citation{jauch}
\citation{ma-57}
\citation{piron-76}
\citation{pavicic-92}
\@writefile{toc}{\contentsline {chapter}{\numberline {B}Lattice theory}{161}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{algebra}{{B}{161}}
\@writefile{toc}{\contentsline {section}{\numberline {B.1}Relations}{161}}
\newlabel{d-quotient}{{B.2}{162}}
\newlabel{d-isomorphism}{{B.3}{162}}
\@writefile{toc}{\contentsline {section}{\numberline {B.2}Partial order relation}{163}}
\@writefile{lof}{\contentsline {figure}{\numberline {B.1}{\ignorespaces Examples of posets }}{164}}
\newlabel{dhset}{{B.1}{164}}
\newlabel{lech}{{B.9}{164}}
\citation{birkhoff-48}
\@writefile{toc}{\contentsline {section}{\numberline {B.3}Lattice}{165}}
\newlabel{d-lattice}{{B.11}{165}}
\newlabel{is-pa}{{B.1}{166}}
\newlabel{subalgebra}{{B.15}{166}}
\newlabel{cardnum}{{B.16}{167}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.1}Distributive lattice}{167}}
\newlabel{distributive-lattice}{{B.3.1}{167}}
\newlabel{d-dist}{{B.19}{167}}
\@writefile{lot}{\contentsline {table}{\numberline {B.1}{\ignorespaces Identification of lattice relations and operations for the set of subsets of a set. The resulting lattice is Boolean. }}{168}}
\newlabel{t-bssoags}{{B.1}{168}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.2}Boolean lattice}{168}}
\newlabel{distla}{{B.10}{168}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.3}Modular lattice}{168}}
\citation{birkhoff-48}
\citation{kalmbach-81}
\citation{abbott-70}
\@writefile{lof}{\contentsline {figure}{\numberline {B.2}{\ignorespaces Any non-modular lattice contains this lattice as a subalgebra. }}{169}}
\newlabel{f-hasse-nm}{{B.2}{169}}
\newlabel{d-modular}{{B.21}{169}}
\newlabel{t-n-m-s}{{B.22}{169}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.4}Orthomodular lattice}{169}}
\newlabel{d-orthomodular}{{B.23}{169}}
\@writefile{lof}{\contentsline {figure}{\numberline {B.3}{\ignorespaces Any non-orthomodular lattice contains this lattice as a subalgebra. }}{170}}
\newlabel{f-d-s-o-a-nm-l}{{B.3}{170}}
\citation{kalmbach-83}
\citation{kalmbach-86}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.5}Commutator and Centre of orthomodular lattice}{171}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.6}Prime ideal, state}{171}}
\citation{schaller-92}
\newlabel{l:prime}{{B.30}{172}}
\newlabel{l:schaller-93}{{B.3.6}{172}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.3.7}Block pasting of orthomodular lattices}{172}}
\newlabel{pasting}{{B.3.7}{172}}
\newlabel{block}{{B.32}{172}}
\citation{kalmbach-83}
\citation{nav:91}
\citation{kalmbach-83}
\newlabel{bpol}{{B.34}{173}}
\@writefile{lof}{\contentsline {figure}{\numberline {B.4}{\ignorespaces An arbitrary Hilbert lattice is a pasting of (not necessarily disjoint) Boolean subalgebras. It is irreducible. }}{174}}
\newlabel{fig-ishl}{{B.4}{174}}
\citation{kalmbach-83}
\newlabel{loopl}{{B.38}{175}}
\newlabel{gredia}{{B.39}{175}}
\@writefile{toc}{\contentsline {section}{\numberline {B.4}Examples}{178}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.4.1}Set of subsets of a set}{178}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.4.2}Partition logic}{178}}
\newlabel{l:partlog}{{B.4.2}{178}}
\@writefile{lof}{\contentsline {figure}{\numberline {B.5}{\ignorespaces Hasse diagrams of (non isomorphic) lattices of five elements. }}{179}}
\newlabel{f-hasse-5}{{B.5}{179}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.4.3}Greatest common divisor and least common multiplier}{179}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.4.4}Lattices defined by Hasse diagrams}{179}}
\@writefile{lot}{\contentsline {table}{\numberline {B.2}{\ignorespaces Truth-assignment tables for binary and unary relations in the classical propositional calculus. }}{180}}
\newlabel{t-prop-calc}{{B.2}{180}}
\@writefile{lot}{\contentsline {table}{\numberline {B.3}{\ignorespaces Identification of lattice relations and operations for the classical propositional calculus. }}{180}}
\newlabel{t-is-la-pro}{{B.3}{180}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.4.5}Lattice of classical propositional calculus}{180}}
\newlabel{im-we}{{B.24}{180}}
\@writefile{lot}{\contentsline {table}{\numberline {B.4}{\ignorespaces Truth-assignment table of $ (p_1=(p_1\wedge p_2))\vee (p_2 =(p_1\vee p_2))$. The abbreviations ``{\tt  T}'' and ``{\tt  F}'' have been used for {\tt  TRUE} and {\tt  FALSE}, respectively. }}{181}}
\newlabel{t-t-a2}{{B.4}{181}}
\bibdata{/mytex/svozil}
\newlabel{e-dist-pro}{{B.25}{182}}
\newlabel{f:intuit}{{B.26}{182}}
\bibcite{abbott-70}{Abb70}
\bibcite{aerts:82}{Aer82}
\bibcite{aerts}{Aer95}
\bibcite{ba-89}{Bal89}
\bibcite{bishop}{BB85}
\bibcite{bell}{Bel64}
\citation{wheeler-Zurek:83}
\citation{bell-87}
\bibcite{bell-66}{Bel66}
\citation{bell-87}
\bibcite{bell-87}{Bel87}
\bibcite{bell-a}{Bel90}
\citation{bell:a1}
\bibcite{bell:a1}{Bel92}
\bibcite{birkhoff-48}{Bir48}
\bibcite{bos}{Bos55}
\citation{bos1}
\bibcite{bos1}{Bos66}
\bibcite{bridges-richman}{BR87}
\bibcite{brauer-84}{Bra84}
\bibcite{bridgman27}{Bri27}
\bibcite{bridgman}{Bri34}
\citation{landauer-95}
\bibcite{bridgman36}{Bri36}
\bibcite{bridgman50}{Bri50}
\bibcite{bridgman52}{Bri52}
\bibcite{busch-85}{Bus85}
\bibcite{birkhoff-36}{BvN36}
\bibcite{cantor-set1}{Can95}
\bibcite{cantor-set2}{Can97}
\bibcite{cal-sv-yu}{CCSY96}
\bibcite{chaitin-65}{Cha65}
\bibcite{c-k-m}{CKM85}
\bibcite{clifton-93}{Cli93}
\bibcite{cohen}{Coh89}
\bibcite{conway}{Con71}
\bibcite{coray}{Cor70}
\bibcite{clavadetscher}{CS83}
\bibcite{davydov}{Dav65}
\bibcite{dilworth}{Dil40}
\bibcite{dirac}{Dir47}
\bibcite{dvur-pul-svo}{DPS95}
\bibcite{dunford-schwartz}{DS58}
\bibcite{r:dvur-93}{Dvu83}
\bibcite{ein-5}{Ein05}
\bibcite{epr}{EPR35}
\citation{wheeler-Zurek:83}
\bibcite{fraenkel1}{FBHL84}
\bibcite{finkelstein-83}{FF83}
\bibcite{feynman-III}{FLS65}
\bibcite{Foulis-Randall}{FR72}
\bibcite{foulis}{FR78}
\bibcite{ghsz}{GHSZ90}
\bibcite{ghz}{GHZ89}
\citation{ghsz}
\citation{mermin}
\bibcite{giuntini-91}{Giu91}
\bibcite{Gleason}{Gle57}
\bibcite{greechie:71}{Gre71}
\bibcite{gudder}{Gud88}
\bibcite{greenberger2}{GY89}
\bibcite{halmos-vs}{Hal74a}
\bibcite{halmos-ba}{Hal74b}
\bibcite{har}{Har71}
\bibcite{hobson}{Hob71}
\bibcite{hartmanis}{HS66}
\bibcite{hultgren77}{HS77}
\bibcite{havlicek}{HS96}
\bibcite{hopcroft}{HU79}
\bibcite{jammer1}{Jam74}
\bibcite{jammer-92}{Jam92}
\bibcite{jauch}{Jau68}
\bibcite{jaynes2}{Jay83}
\bibcite{kalmbach-81}{Kal81}
\bibcite{kalmbach-83}{Kal83}
\bibcite{kalmbach-86}{Kal86}
\bibcite{katz}{Kat67}
\bibcite{keller-80}{Kel80}
\bibcite{kolmogorov2}{Kol33}
\citation{kolmogorov2e}
\bibcite{kolmogorov2e}{Kol56}
\bibcite{kochen3}{KS65a}
\citation{specker-ges}
\bibcite{kochen2}{KS65b}
\citation{specker-ges}
\bibcite{kochen1}{KS67}
\citation{specker-ges}
\bibcite{landauer-95}{Lan94}
\bibcite{lewis-73}{Lew73}
\bibcite{liermann}{Lie71}
\bibcite{lipkin}{Lip73}
\bibcite{li:92}{LV92}
\bibcite{ma-57}{Mac57}
\bibcite{mermin90b}{Mer90a}
\bibcite{mermin}{Mer90b}
\bibcite{mermin-93}{Mer93}
\bibcite{messiah-61}{Mes61}
\bibcite{e-f-moore}{Moo56}
\bibcite{moore}{Moo90}
\bibcite{murnaghan}{Mur62}
\bibcite{nav:91}{NR91}
\bibcite{pavicic-92}{Pav92}
\bibcite{paz}{Paz71}
\bibcite{penrose:94}{Pen94}
\bibcite{peres222}{Per78}
\bibcite{peres111}{Per90}
\bibcite{peres-91}{Per91}
\citation{peres}
\bibcite{peres}{Per93}
\bibcite{piron-76}{Pir76}
\bibcite{piz-90}{Piz90}
\bibcite{piz-88}{Piz91}
\bibcite{planck:1901}{Pla00}
\citation{planck:1901b}
\bibcite{planck:1901b}{Pla01}
\bibcite{planck:1916}{Pla16}
\bibcite{pulmannova-91}{PP91}
\bibcite{ramsey}{Ram26}
\bibcite{ra-66}{Ran66}
\bibcite{ran-foul-70}{RF70}
\bibcite{ran-foul-73}{RF73}
\bibcite{roessler-87}{R{\"{o}}s87}
\bibcite{roessler-92}{R{\"{o}}s92}
\bibcite{rs-77}{RS77}
\bibcite{rzbb}{RZBB94}
\citation{murnaghan}
\bibcite{Schuette}{Sch}
\citation{clavadetscher}
\bibcite{schrodinger}{Sch35}
\citation{wheeler-Zurek:83}
\bibcite{specker-60}{Spe60}
\citation{specker-ges}
\bibcite{specker-ges}{Spe90}
\bibcite{schaller-92}{SS94}
\bibcite{schaller-95}{SS95}
\bibcite{schaller-96}{SS96}
\bibcite{svozil-tkadlec}{ST96}
\bibcite{svo-83}{Svo83}
\bibcite{svo5}{Svo86a}
\bibcite{svo-86}{Svo86b}
\bibcite{svozil-93}{Svo93}
\bibcite{svozil-nat-acad}{Svo95}
\citation{svozil-complexity:95}
\bibcite{svozil-complexity:95}{Svo96}
\bibcite{swift80a}{SW80}
\bibcite{svo:za}{SZ96}
\bibcite{tkadlec-96}{Tka96}
\bibcite{toffoli:79}{Tof78}
\bibcite{von-mises}{vM57}
\bibcite{v-neumann-49}{vN32}
\bibcite{wigner}{Wig60}
\bibcite{wright}{Wri90}
\bibcite{wheeler-Zurek:83}{WZ83}
\bibstyle{alpha}