Partial and unsharp quantum logics

  title={Partial and unsharp quantum logics},
  author={M. Chiara and R. Giuntini},
  journal={Foundations of Physics},
The total and the sharp character of orthodox quantum logic has been put in question in different contexts. This paper presents the basic ideas for a unified approach to partial and unsharp forms of quantum logic. We prove a completeness theorem for some partial logics based on orthoalgebras and orthomodular posets. We introduce the notion of unsharp orthoalgebra and of generalized MV algebra. The class of all effects of any Hilbert space gives rise to particular examples of these structures… Expand
Physical Interpretations of the Lukasiewicz Quantum Logical Connectives
Lukasiewicz quantum logic is semantically characterized by the class of all quantum MV algebras. The standard model of this logic is based on effects in a Hilbert space. We discuss the physicalExpand
The logics of orthoalgebras
It is proved that the category of unsharp orthoalgebras is isomorphic to the categories of D-posets and a completeness theorem for some partial logics based on unsharp Ortho-Algebra, ortho-alge Bras and orthomodular posets is proved. Expand
From Effect Algebras to Algebras of Effects (Sum Brouwer—Zadeh Algebras)
The algebraic structures arising in the axiomatic framework of unsharp quantummechanics based on effect operators on a Hilbert space are investigated. It isstressed that usually considered “effect”Expand
Unsharp quantum logics
The event-structure of a state-event system, containing unsharp elements, can be described either as aregular involutive bounded poset, or alternatively as anunsharp orthoalgebra (calledExpand
Dynamic Ideas in Quantum Logic
An abstract investigation about quantum histories naturally meets ideas that have been developed in the framework of dynamic logic [5], where possible relations between truths and actions areExpand
Pre-BZ and Degenerate BZ Posets: Applications to Fuzzy Sets and Unsharp Quantum Theories
Two different generalizations of Brouwer–Zadeh posets (BZ posets) are introduced. The former (called pre-BZ poset) arises from topological spaces, whose standard power set orthocomplemented completeExpand
The history of quantum logic
This chapter discusses the Birkhoff-von Neumann idea of quantum logic, which is related to deep mathematical discoveries in the mid thirties, to the history of quantum mechanics in the twenties, and to conceptual difficulties in connection with the frequency-interpretation of quantum probability. Expand
Łukasiewicz Operations in Fuzzy Set and Many-Valued Representations of Quantum Logics
It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family ofExpand
Quantum Physics and Classical Physics—In the Light of Quantum Logic
In contrast to the Copenhagen interpretation we consider quantum mechanics as universally valid and query whether classical physics is really intuitive and plausible. We discuss these problems withinExpand
Constructivism and Operationalism in the Foundations of Quantum Mechanics
The debate about constructivism in physics (and in quantum mechanics, in particular) has led to different kinds of questions that can be conventionally framed in two classes. One concerns theExpand


Connections among quantum logics. Part 1. Quantum propositional logics
In this paper, we propose a theory of quantum logics which is general enough to enable us to reexamine previous work on quantum logics in the context of this theory. It is then easy to assess theExpand
Axiomatic unsharp quantum theory (From Mackey to Ludwig and Piron)
On the basis of Mackey's axiomatic approach to quantum physics or, equivalently, of a “state-event-probability” (SEVP) structure, using a quite standard “fuzzification” procedure, a set of unsharpExpand
Filters and supports in orthoalgebras
An orthoalgebra, which is a natural generalization of an orthomodular lattice or poset, may be viewed as a “logic” or “proposition system” and, under a welldefined set of circumstances, its elementsExpand
Algebraic analysis of many valued logics
This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the No-valued propositional calculus(2). For want of a better name, we shall callExpand
The Logic of Quantum Mechanics
One of the aspects of quantum theory which has attracted the most general attention, is the novelty of the logical notions which it presupposes. It asserts that even a complete mathematicalExpand
The Probabilistic Argument for a Non-Classical Logic of Quantum Mechanics
The aim of this paper is to state the single most powerful argument for use of a non-classical logic in quantum mechanics. In outline the argument is the following. The working logic of a science isExpand
Foundations of quantum mechanics
Does quantum mechanics have unsolved foundational problems? Is there a dividing line between the quantum and classical descriptions of the world? In this paper, I give an elementary introduction toExpand
The quantum theory of measurement
The amazing accuracy in verifying quantum effects experimentally has recently renewed interest in quantum mechanical measurement theory. In this book the authors give within the Hilbert spaceExpand
The Calculus of Partial Propositional Functions
The calculus of partial propositional functions has been introduced in [2]. It is a variant of the classical propositional calculus, a variant which takes into account that pairs of propositions mayExpand
A new proof of the completeness of the Łukasiewicz axioms
The purpose of this note is to provide a new proof for the completeness of the Lukasiewicz axioms for infinite valued propositional logic. For the existing proof of completeness and a history of theExpand