Results 1 
3 of
3
Automatic Proofs and Counterexamples for Some Ortholattice Identities
 Information Processing Letters
, 1998
"... This note answers questions on whether three identities known to hold for orthomodular lattices are true also for ortholattices. One identity is shown to fail by MACE, a program that searches for counterexamples, an the other two are proved to hold by EQP, an equational theorem prover. The problems, ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
This note answers questions on whether three identities known to hold for orthomodular lattices are true also for ortholattices. One identity is shown to fail by MACE, a program that searches for counterexamples, an the other two are proved to hold by EQP, an equational theorem prover. The problems, from work in quantum logic, were given to us by Norman Megill. Keywords: Automatic theorem proving, ortholattice, quantum logic, theory of computation. 1 Introduction An ortholattice is an algebra with a binary operation (join) and a unary operation 0 (complement) satisfying the following (independent) set of identities. x y = (x 0 y 0 ) 0 (definition of meet) x y = y x (x y) z = x (y z) x (x y) = x x 00 = x x (y y 0 ) = y y 0 Supported by the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Computational and Technology Research, U.S. Department of Energy, under Contract W31109Eng38. From these identities one can...
Reconstruction of Quantum Theory
"... What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary re ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary reconstructions are analyzed, including the work of Hardy, Rovelli, and Clifton, Bub and Halvorson. We conclude by discussing the importance of a novel concept of intentionally incomplete reconstruction.
Informationtheoretic principle entails orthomodularity of a lattice
 Foundations of Physics Letters
, 2005
"... Quantum logical axiomatic systems for quantum theory usually include a postulate that a lattice under consideration is orthomodular. We propose a derivation of orthomodularity from an informationtheoretic axiom. This provides conceptual clarity and removes a longstanding puzzle about the meaning o ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Quantum logical axiomatic systems for quantum theory usually include a postulate that a lattice under consideration is orthomodular. We propose a derivation of orthomodularity from an informationtheoretic axiom. This provides conceptual clarity and removes a longstanding puzzle about the meaning of orthomodularity. 1