Quantum logic as a fragment of independence-friendly logic
type: Item
instance of: scholarly article
title: Quantum logic as a fragment of independence-friendly logic
zbMATH Open document ID: 1011.03049
DOI: 10.1023/A:1015742824326
author: Jaakko Hintikka
published in: Journal of Philosophical Logic
publication date: 2002-08-20T00:00:00Z
review text: The author presents his hypothesis that noncommuting variables are irreducibly interdependent in the logic connected with the foundations of quantum mechanics. The logic of such dependence relations is presented as independence-friendly logic, previously introduced by the author, which uses a sentence-initial contradictory negation over and above the dual (strong) negation \(\sim\). In the case of a Hilbert space quantum logic, the latter one turns out to be orthocomplementation. The author shows that quantum logic can be interpreted also in frames of Boolean structures to which the additional operator \(\sim\) has been added.
reviewed by: Anatolij Dvurečenskij
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 1784294
zbMATH Keywords: quantum logic
zbMATH Keywords: independence-friendly logic
zbMATH Keywords: negation
zbMATH Keywords: Boolean structure
zbMATH Keywords: Hilbert space quantum logic
MaRDI profile type: Publication
cites work: Q4376955
cites work: Q4732438
cites work: Truth Definitions, Skolem Functions and Axiomatic Set Theory
cites work: Q5691485
cites work: Boolean Algebras with Operators. Part I
cites work: Quantum logic in algebraic approach
cites work: ``Unsolved problems in mathematics'': J. von Neumann's address to the International Congress of Mathematicians, Amsterdam, September 2--9, 1954.
cites work: Q5599800
cites work: Q5847989
full work available at URL: a:1015742824326
OpenAlex ID: W1991169792
description: scientific article; zbMATH DE number 1784294