Switch to: References

Add citations

You must login to add citations.
  1. The Quasi-lattice of Indiscernible Elements.Mauri Cunha do Nascimento, Décio Krause & Hércules Araújo Feitosa - 2011 - Studia Logica 97 (1):101-126.
    The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Natural Deduction for Quantum Logic.K. Tokuo - 2022 - Logica Universalis 16 (3):469-497.
    This paper presents a natural deduction system for orthomodular quantum logic. The system is shown to be provably equivalent to Nishimura’s quantum sequent calculus. Through the Curry–Howard isomorphism, quantum $$\lambda $$ -calculus is also introduced for which strong normalization property is established.
    $47.60 new   $52.55 used   $54.99 from Amazon    (collection)    View on Amazon.com
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Some Properties of Orthologics.Yutaka Miyazaki - 2005 - Studia Logica 80 (1):75-93.
    In this paper, we present three main results on orthologics. Firstly, we give a sufficient condition for an orthologic to have variable separation property and show that the orthomodular logic has this property. Secondly, we show that the class of modular orthologics has an infinite descending chain. Finally we show that there exists a continuum of orthologics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Deduction, Ordering, and Operations in Quantum Logic.Normal D. Megill & Mladen Pavičić - 2002 - Foundations of Physics 32 (3):357-378.
    We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a substitution and arrive at operation algebras that are not lattices what proves the claim. We devise algorithms and programs which write down any two-variable expression in an orthomodular lattice by means of classical and quantum operations in an identical form. Our results show that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.
    This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.
    In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Topos Theoretic Quantum Realism.Benjamin Eva - 2017 - British Journal for the Philosophy of Science 68 (4):1149-1181.
    ABSTRACT Topos quantum theory is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 1 In this article, I study the extent to which TQT can really be characterized as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for a realist reformulation of quantum theory. Specifically, I show that the notion of the quantum state (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Quantum logic in intuitionistic perspective.Bob Coecke - 2002 - Studia Logica 70 (3):411-440.
    In their seminal paper Birkhoff and von Neumann revealed the following dilemma:[ ] whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Algebraic aspects of quantum indiscernibility.Decio Krause & Hercules de Araujo Feitosa - unknown
    We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum algebra, which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•