Type-Decomposition of a Pseudo-Effect Algebra

The theory of direct decomposition of a centrally orthocomplete effect algebra into direct summands of various types utilizes the notion of a type-determining (TD) set. A pseudo-effect algebra (PEA) is a (possibly) noncommutative version of an effect algebra. In this article we develop the basic theory of centrally orthocomplete PEAs, generalize the notion of a TD set to PEAs, and show that TD sets induce decompositions of centrally orthocomplete PEAs into direct summands.Comment: 18 page

An Intrisic Topology for Orthomodular Lattices

We present a general way to define a topology on orthomodular lattices. We show that in the case of a Hilbert lattice, this topology is equivalent to that induced by the metrics of the corresponding Hilbert space. Moreover, we show that in the case of a boolean algebra, the obtained topology is the discrete one. Thus, our construction provides a general tool for studying orthomodular lattices but also a way to distinguish classical and quantum logics.Comment: Under submission to the International Journal of Theoretical Physic

On the theory of composition in physics

We develop a theory for describing composite objects in physics. These can be static objects, such as tables, or things that happen in spacetime (such as a region of spacetime with fields on it regarded as being composed of smaller such regions joined together). We propose certain fundamental axioms which, it seems, should be satisfied in any theory of composition. A key axiom is the order independence axiom which says we can describe the composition of a composite object in any order. Then we provide a notation for describing composite objects that naturally leads to these axioms being satisfied. In any given physical context we are interested in the value of certain properties for the objects (such as whether the object is possible, what probability it has, how wide it is, and so on). We associate a generalized state with an object. This can be used to calculate the value of those properties we are interested in for for this object. We then propose a certain principle, the composition principle, which says that we can determine the generalized state of a composite object from the generalized states for the components by means of a calculation having the same structure as the description of the generalized state. The composition principle provides a link between description and prediction.Comment: 23 pages. To appear in a festschrift for Samson Abramsky edited by Bob Coecke, Luke Ong, and Prakash Panangade

Smearing of Observables and Spectral Measures on Quantum Structures

An observable on a quantum structure is any $\sigma$-homomorphism of quantum structures from the Borel $\sigma$-algebra of the real line into the quantum structure which is in our case a monotone $\sigma$-complete effect algebras with the Riesz Decomposition Property. We show that every observable is a smearing of a sharp observable which takes values from a Boolean $\sigma$-subalgebra of the effect algebra, and we prove that for every element of the effect algebra there is its spectral measure

Classical BI: Its Semantics and Proof Theory

We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have the normal bunched logic reading as declarative statements about resources, but its resource models necessarily feature more structure than those for other bunched logics; principally, they satisfy the requirement that every resource has a unique dual. At the proof-theoretic level, a very natural formalism for CBI is provided by a display calculus \`a la Belnap, which can be seen as a generalisation of the bunched sequent calculus for BI. In this paper we formulate the aforementioned model theory and proof theory for CBI, and prove some fundamental results about the logic, most notably completeness of the proof theory with respect to the semantics.Comment: 42 pages, 8 figure

Interpreting Quantum Particles as Conceptual Entities

We elaborate an interpretation of quantum physics founded on the hypothesis that quantum particles are conceptual entities playing the role of communication vehicles between material entities composed of ordinary matter which function as memory structures for these quantum particles. We show in which way this new interpretation gives rise to a natural explanation for the quantum effects of interference and entanglement by analyzing how interference and entanglement emerge for the case of human concepts. We put forward a scheme to derive a metric based on similarity as a predecessor for the structure of 'space, time, momentum, energy' and 'quantum particles interacting with ordinary matter' underlying standard quantum physics, within the new interpretation, and making use of aspects of traditional quantum axiomatics. More specifically, we analyze how the effect of non-locality arises as a consequence of the confrontation of such an emerging metric type of structure and the remaining presence of the basic conceptual structure on the fundamental level, with the potential of being revealed in specific situations.Comment: 19 pages, 1 figur

Epistemic Entanglement due to Non-Generating Partitions of Classical Dynamical Systems

Quantum entanglement relies on the fact that pure quantum states are dispersive and often inseparable. Since pure classical states are dispersion-free they are always separable and cannot be entangled. However, entanglement is possible for epistemic, dispersive classical states. We show how such epistemic entanglement arises for epistemic states of classical dynamical systems based on phase space partitions that are not generating. We compute epistemically entangled states for two coupled harmonic oscillators.Comment: 13 pages, no figures; International Journal of Theoretical Physics, 201

Coreflections in Algebraic Quantum Logic

Contains fulltext : 93798.pdf (preprint version ) (Open Access) Contains fulltext : 93798.pdf (publisher's version ) (Open Access