Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
    The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among effect algebras and such structures as orthoalgebras and orthomodular posets are investigated, as are morphisms and group- valued measures (or charges) on effect algebras. It is proved that there is a universal group for every effect algebra, as well as a universal vector space over an arbitrary field.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • A non-classical logic for physics.Robin Giles - 1974 - Studia Logica 33 (4):397 - 415.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Representation Theorems for Quantales.Silvio Valentini - 1994 - Mathematical Logic Quarterly 40 (2):182-190.
    In this paper we prove that any quantale Q is a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for Linear Logic using relations.
    Download  
     
    Export citation  
     
    Bookmark   1 citation