Graduate studies at Western
Journal of Philosophical Logic 31 (3):197-209 (2002)
|Abstract||The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation ∼. Then in a Hilbert space ∼ turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann "quantum logic" can be interpreted by taking their "disjunction" to be ¬(∼A & ∼ B). Their logic can thus be mapped into a Boolean structure to which an additional operator ∼ has been added|
|Keywords||quantum logic independence-friendly logic negation Boolean structures|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Tero Tulenheimo (2009). Hybrid Logic Meets If Modal Logic. Journal of Logic, Language and Information 18 (4):559-591.
Miklos Redei (1995). Logical Independence in Quantum Logic. Foundations of Physics 25 (3):411-422.
Gabriel Sandu (2009). Dependence Logic: A New Approach to Independence Friendly Logic – by Juokko Väänänen. Theoria 75 (1):52-64.
Theo M. V. Janssen (2002). Independent Choices and the Interpretation of IF Logic. Journal of Logic, Language and Information 11 (3):367-387.
J. L. Bell (1986). A New Approach to Quantum Logic. British Journal for the Philosophy of Science 37 (1):83-99.
Matti Eklund & Daniel Kolak (2002). Is Hintikka's Logic First-Order? Synthese 131 (3):371 - 388.
Jarosław Pykacz (2010). Unification of Two Approaches to Quantum Logic: Every Birkhoff -von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic. Studia Logica 95 (1/2):5 - 20.
Juha Kontinen & Jouko Väänänen (2009). On Definability in Dependence Logic. Journal of Logic, Language and Information 18 (3):317-332.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Added to index2009-01-28
Total downloads31 ( #45,055 of 754,610 )
Recent downloads (6 months)2 ( #38,535 of 754,610 )
How can I increase my downloads?