Brouwer-Zadeh logic and the operational approach to quantum mechanics

Foundations of Physics 20 (6):701-714 (1990)
  Copy   BIBTEX

Abstract

This paper is concerned with a logical system, called Brouwer-Zadeh logic, arising from the BZ poset of all effects of a Hilbert space. In particular, we prove a representation theorem for Brouwer-Zadeh lattices, and we show that Brouwer-Zadeh logic is not characterized by the MacNeille completions of all BZ posets of effects

Categories

Keywords

Reprint years

DOI

10.1007/bf01889456

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A semantical investigation on Brouwer-Zadeh logic.Roberto Giuntini - 1991 - Journal of Philosophical Logic 20 (4):411 - 433.
Brouwer-Zadeh logic, decidability and bimodal systems.Roberto Giuntini - 1992 - Studia Logica 51 (1):97 - 112.
Some results on BZ structures from Hilbertian unsharp quantum physics.Gianpiero Cattaneo & Roberto Giuntini - 1995 - Foundations of Physics 25 (8):1147-1183.
Fuzzy intuitionistic quantum logics.Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini - 1993 - Studia Logica 52 (3):419 - 442.
Pre-BZ and Degenerate BZ Posets: Applications to Fuzzy Sets and Unsharp Quantum Theories. [REVIEW]G. Cattaneo, R. Giuntini & S. Pulmannovà - 2000 - Foundations of Physics 30 (10):1765-1799.
On the de Morgan Property of the Standard Brouwer–Zadeh Poset.G. Cattaneo, J. Hamhalter & P. Pták - 2000 - Foundations of Physics 30 (10):1801-1805.
Dummett, Brouwer and the Metaphysics of Mathematics.Eric P. Tsui-James - 1998 - Grazer Philosophische Studien 55 (1):143-168.
Review: L. A. Zadeh, Fuzzy Sets; L. A. Zadeh, Similarity Relations and Fuzzy Orderings. [REVIEW]J. A. Goguen - 1973 - Journal of Symbolic Logic 38 (4):656-657.
Brouwer, as never read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.
Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
Operational foundation of quantum logic.P. Mittelstaedt & E. W. Stachow - 1974 - Foundations of Physics 4 (3):355-365.
From intuitionistic logic to dynamic operational quantum logic.Sonja Smets - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.

Analytics

Added to PP
2013-11-22

Downloads
33 (#483,256)

6 months
8 (#356,676)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.

Add more citations

References found in this work

Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.

Add more references