This paper presents a natural deduction system for orthomodular quantum logic. The system is shown to be provably equivalent to Nishimura’s quantum sequent calculus. Through the Curry–Howard isomorphism, quantum $$\lambda $$ -calculus is also introduced for which strong normalization property is established.

A non-classical subsystem of orthomodular quantum logic is proposed. This system employs two basic operations: the Sasaki hook as implication and the _and-then_ operation as conjunction. These operations successfully satisfy modus ponens and the deduction theorem. In other words, they form an adjunction in terms of category theory. Two types of semantics are presented for this logic: one algebraic and one physical. The algebraic semantics deals with orthomodular lattices, as in traditional quantum logic. The physical semantics is given as a (...) procedure for deriving a final segment of a series of yes-no experiments. (shrink)

A relation ≺ϕ between noncommuting 1-0 quantum observables (i.e., projections) is introduced, ϕ being the state vector of the system. This relation extends the empirical implication between commuting projections. An operational interpretation of the new relation is given, which can be expressed also in counterfactual terms. It is shown that a relation proposed some years ago by Hardegree, namely the Sasaki arrow ↪ϕ, can be interpreted in terms of the relation ≺ϕ; furthermore, this new relation turns out to be successful (...) also in cases in which the Sasaki arrow fails. (shrink)

An interpretation of quantum mechanics that rejects hidden variables has to say something about the way measurement can be understood as a transformation on states of individual systems, and that leads to the core of the interpretive problems posed by Luders' projection rule: What, if any, is its physical content? In this paper I explore one suggestion which is implicit in usual interpretations of the rule and show that this view does not stand on solid ground. In the process, important (...) aspects of the role played by the projection postulate in the conceptual structure of quantum mechanics will be clarified. It will be shown in particular that serious objections can be raised against the (often implicit) view that identifies the physical relation of compatibility preserved by Luders' rule with the relation of simultaneous measurability. (shrink)

Logical matrices for orthomodular logic are introduced. The underlying algebraic structures are orthomodular lattices, where the conditional connective is the Sasaki arrow. An axiomatic calculusOMC is proposed for the orthomodular-valid formulas.OMC is based on two primitive connectives — the conditional, and the falsity constant. Of the five axiom schemata and two rules, only one pertains to the falsity constant. Soundness is routine. Completeness is demonstrated using standard algebraic techniques. The Lindenbaum-Tarski algebra ofOMC is constructed, and it is shown to be (...) an orthomodular lattice whose unit element is the equivalence class of theses ofOMC. (shrink)

This paper uses a non-distributive system of Boolean fractions (a|b), where a and b are 2-valued propositions or events, to express uncertain conditional propositions and conditional events. These Boolean fractions, 'a if b' or 'a given b', ordered pairs of events, which did not exist for the founders of quantum logic, can better represent uncertain conditional information just as integer fractions can better represent partial distances on a number line. Since the indeterminacy of some pairs of quantum events is due (...) to the mutual inconsistency of their experimental conditions, this algebra of conditionals can express indeterminacy. In fact, this system is able to express the crucial quantum concepts of orthogonality, simultaneous verifiability, compatibility, and the superposition of quantum events, all without resorting to Hilbert space. A conditional (a|b) is said to be "inapplicable" (or "undefined") in those instances or models for which b is false. Otherwise the conditional takes the truth-value of proposition a. Thus the system is technically 3-valued, but the 3rd value has nothing to do with a state of ignorance, nor to some half-truth. People already routinely put statements into three categories: true, false, or inapplicable. As such, this system applies to macroscopic as well as microscopic events. Two conditional propositions turn out to be simultaneously verifiable just in case the truth of one implies the applicability of the other. Furthermore, two conditional propositions (a|b) and (c|d) reside in a common Boolean sub-algebra of the non-distributive system of conditional propositions just in case b = d, their conditions are equivalent. Since all aspects of quantum mechanics can be represented with this near classical logic, there is no need to adopt Hilbert space logic as ordinary logic, just a need perhaps to adopt propositional fractions to do logic, just as we long ago adopted integer fractions to do arithmetic. The algebra of Boolean fractions is a natural, near-Boolean extension of Boolean algebra adequate to express quantum logic. While this paper explains one group of quantum anomalies, it nevertheless leaves no less mysterious the 'influence-at-a-distance', quantum entanglement phenomena. A quantum realist must still embrace non-local influences to hold that "hidden variables" are the measured properties of particles. But that seems easier than imaging wave-particle duality and instant collapse, as offered by proponents of the standard interpretation of quantum mechanics. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)