5 found
Sort by:
  1. Christian de Ronde, Hector Freytes & Graciela Domenech (2014). Interpreting the Modal Kochen–Specker Theorem: Possibility and Many Worlds in Quantum Mechanics. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 45 (1):11-18.
    In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Hector Freytes & Graciela Domenech (2013). Quantum Computational Logic with Mixed States. Mathematical Logic Quarterly 59 (1):27-50.
    In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincaré irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong completeness theorem.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Graciela Domenech, Hector Freytes & Christian de Ronde (2009). Modal‐Type Orthomodular Logic. Mathematical Logic Quarterly 55 (3):307-319.
    In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*-semigroups as in [22].
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Graciela Domenech, Federico Holik & Décio Krause (2008). Q-Spaces and the Foundations of Quantum Mechanics. Foundations of Physics 38 (11):969-994.
    Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Graciela Domenech & Federico Holik (2007). A Discussion on Particle Number and Quantum Indistinguishability. Foundations of Physics 37 (6):855-878.
    The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schrödinger pointed out in the early steps of the theory. Regarding this fact, some authors suggested that quantum mechanics does not possess its own language, and therefore, quantum indistinguishability is not incorporated in the theory from the beginning. Nevertheless, it is possible to represent the idea of quantum indistinguishability with a first-order language using quasiset theory (Q). In this work, we (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation