Repository | Book | Chapter
(1995) The foundations of quantum mechanics, Dordrecht, Springer.
Algebraic structures and observations
quantales for a noncommutative logic - theoretic approach to quantum mechanics
Mario Piazza
pp. 381-393
This paper is a series of intertwining observations about the connection between the logic-theoretic noncommutativity and a logical foundation of quantum mechanics. We will analyze noncommutativity, both from an algebraic and prooftheoretic point of view, w.r.t. the quantum mechanics notion that the order of observation making is central to their description. To this end, we will present the sequential conjunction ⊗ : A ⊗ B) means "A at time t 1 and then B at time t 2".The thread running through our discourse is given by quantales, i.e. algebraic structures introduced by Mulvey as models for the logic of quantum mechanics, which offer an appropriate algebraic (and topological) tool for describing noncommutativity.
Publication details
DOI: 10.1007/978-94-011-0029-8_31
Full citation:
Piazza, M. (1995)., Algebraic structures and observations: quantales for a noncommutative logic - theoretic approach to quantum mechanics, in C. Garola & A. Rossi (eds.), The foundations of quantum mechanics, Dordrecht, Springer, pp. 381-393.
This document is unfortunately not available for download at the moment.