Switch to: References

Add citations

You must login to add citations.
  1. The Birth of quantum logic.Miklós Rédei - 2007 - History and Philosophy of Logic 28 (2):107-122.
    By quoting extensively from unpublished letters written by John von Neumann to Garret Birkhoff during the preparatory phase (in 1935) of their ground-breaking 1936 paper that established quantum logic, the main steps in the thought process leading to the 1936 Birkhoff–von Neumann paper are reconstructed. The reconstruction makes it clear why Birkhoff and von Neumann rejected the notion of quantum logic as the projection lattice of an infinite dimensional complex Hilbert space and why they postulated in their 1936 paper that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Semantic alternatives in partial Boolean quantum logic.R. I. G. Hughes - 1985 - Journal of Philosophical Logic 14 (4):411 - 446.
  • Quantum logics and lindenbaum property.Roberto Giuntini - 1987 - Studia Logica 46 (1):17 - 35.
    This paper will take into account the Lindenbaum property in Orthomodular Quantum Logic (OQL) and Partial Classical Logic (PCL). The Lindenbaum property has an interest both from a logical and a physical point of view since it has to do with the problem of the completeness of quantum theory and with the possibility of extending any semantically non-contradictory set of formulas to a semantically non-contradictory complete set of formulas. The main purpose of this paper is to show that both OQL (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The logics of orthoalgebras.Maria Luisa Dalla Chiara & Roberto Giuntini - 1995 - Studia Logica 55 (1):3-22.
  • Partial and unsharp quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1994 - Foundations of Physics 24 (8):1161-1177.
  • Partial Boolean algebras in a broader sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
    The article deals with compatible families of Boolean algebras. We define the notion of a partial Boolean algebra in a broader sense (PBA(bs)) and then we show that there is a mutual correspondence between PBA(bs) and compatible families of Boolean algebras (Theorem (1.8)). We examine in detail the interdependence between PBA(bs) and the following classes: partial Boolean algebras in the sense of Kochen and Specker (§ 2), ortholattices (§ 3, § 5), and orthomodular posets (§ 4), respectively.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Partial and unsharp quantum logics.M. L. Dalla Chiara & R. Giuntini - 1994 - Foundations of Physics 24 (8):1161-1177.
    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. Finally, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Non-Boolean descriptions for mind-matter problems.Hans Primas - 2007 - Mind and Matter 5 (1):7-44.
    A framework for the mind-matter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive non-Boolean description of a world without an a priori mind-matter distinction. Such a description in terms of a locally Boolean but globally non-Boolean structure makes allowance for the fact that Boolean descriptions play a privileged role in science. If we accept the insight that there are (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations