| Preface |
|
v | |
|
Hilbert space quantum mechanics |
|
|
1 | (6) |
|
|
|
7 | (16) |
|
|
|
7 | (2) |
|
Operations and order relations among propositions |
|
|
9 | (2) |
|
Subspace operations and order relation (implication) |
|
|
10 | (1) |
|
Projection operations and order relation (implication) |
|
|
11 | (1) |
|
Definition of comeasurability |
|
|
11 | (2) |
|
|
|
13 | (2) |
|
|
|
15 | (4) |
|
Mutually commuting operators as functions of a single ``Ur''-operator |
|
|
19 | (2) |
|
|
|
21 | (2) |
|
|
|
23 | (18) |
|
|
|
23 | (3) |
|
Pasting of quasi-classical logics |
|
|
26 | (1) |
|
|
|
26 | (3) |
|
|
|
29 | (1) |
|
Pastings of higher complexity |
|
|
30 | (11) |
|
Finite subalgebras in two dimensions |
|
|
30 | (1) |
|
Finite subalgebras of three-dimensional Hilbert logic |
|
|
31 | (5) |
|
Finite subalgebras of n-dimensional Hilbert logics |
|
|
36 | (3) |
|
Leaving the finite subalgebra case |
|
|
39 | (2) |
|
|
|
41 | (10) |
|
Review of basic definitions |
|
|
42 | (1) |
|
Algebraic characterization |
|
|
42 | (3) |
|
Identities in ``classical'' and quantum logic |
|
|
42 | (1) |
|
|
|
43 | (1) |
|
|
|
44 | (1) |
|
|
|
44 | (1) |
|
|
|
45 | (1) |
|
Complete Hilbert lattice for spin one-half |
|
|
45 | (1) |
|
Hilbert lattice for spin one measurements |
|
|
46 | (1) |
|
One-dimensional subspaces in three dimensions |
|
|
46 | (5) |
|
|
|
51 | (8) |
|
|
|
51 | (1) |
|
Cartesian product of lattices |
|
|
51 | (8) |
|
|
|
59 | (20) |
|
|
|
61 | (2) |
|
Probabilities in pastings |
|
|
63 | (1) |
|
Interlude: two-valued measures and embeddings |
|
|
64 | (3) |
|
|
|
67 | (3) |
|
Nongleason type probability measures |
|
|
70 | (2) |
|
|
|
72 | (3) |
|
Counter-intuitive probabilities |
|
|
75 | (4) |
|
|
|
79 | (32) |
|
Infuturabilities and counterfactuals |
|
|
79 | (6) |
|
Kochen-Specker construction |
|
|
85 | (6) |
|
Nonfull set of two-valued probability measures |
|
|
85 | (2) |
|
Nonseparating set of two-valued probability measures |
|
|
87 | (2) |
|
Nonexistence of two-valued probability measures |
|
|
89 | (2) |
|
|
|
91 | (2) |
|
Nonfull set of probability measures |
|
|
91 | (1) |
|
Nonexistent set of probability measures |
|
|
92 | (1) |
|
|
|
93 | (7) |
|
|
|
100 | (5) |
|
Peres-Mermin construction |
|
|
101 | (1) |
|
Greenberger-Horne-Zeilinger-Mermin construction |
|
|
102 | (3) |
|
|
|
105 | (6) |
|
Counterfactuality of the argument |
|
|
105 | (3) |
|
Consequences of counterfactual reasoning |
|
|
108 | (3) |
|
|
|
111 | (12) |
|
What price value-definiteness? |
|
|
123 | (16) |
|
|
|
124 | (11) |
|
Injective lattice homomorphism |
|
|
125 | (1) |
|
Injective order homomorphism preserving lattice operations among comeasurable propositions |
|
|
126 | (1) |
|
Injective order homomorphism |
|
|
126 | (9) |
|
|
|
135 | (1) |
|
|
|
136 | (3) |
|
Quasi-classical analogies |
|
|
139 | (44) |
|
``Firefly-in-a-box'' and generalized urn models |
|
|
141 | (4) |
|
|
|
145 | (33) |
|
Moore and Mealy automata, state machines and combinatorial circuits |
|
|
147 | (1) |
|
Machine isomorphism, serial and parallel decompositions, networks and universality |
|
|
148 | (2) |
|
Construction of automation partition logics |
|
|
150 | (5) |
|
|
|
155 | (5) |
|
Embeddings and characterization |
|
|
160 | (8) |
|
|
|
168 | (10) |
|
Elements of generalized probability theory on nonboolean propositional structures |
|
|
178 | (5) |
|
|
|
178 | (1) |
|
Conditional probabilities and interference |
|
|
178 | (2) |
|
|
|
180 | (1) |
|
Counter-intuitive probabilities |
|
|
181 | (2) |
| A Lattice theory |
|
183 | (18) |
|
|
|
183 | (1) |
|
A.2 Partial order relation |
|
|
184 | (2) |
|
|
|
186 | (11) |
|
A.3.1 Distributive lattice |
|
|
188 | (1) |
|
|
|
188 | (1) |
|
|
|
189 | (1) |
|
A.3.4 Orthomodular lattice |
|
|
190 | (1) |
|
A.3.5 Commutator and Center of orthomodular lattice |
|
|
191 | (1) |
|
|
|
191 | (1) |
|
A.3.7 Block pasting of orthomodular lattices |
|
|
192 | (5) |
|
|
|
197 | (4) |
|
A.4.1 Set of subsets of a set |
|
|
197 | (1) |
|
|
|
197 | (1) |
|
A.4.3 Greatest common divisor and least common multiplier |
|
|
198 | (1) |
|
A.4.4 Lattices defined by Hasse diagrams |
|
|
198 | (1) |
|
A.4.5 Lattice of classical propositional calculus |
|
|
198 | (3) |
| References |
|
201 | (12) |
| Index |
|
213 | |
Lisainfo e-raamatute kohta