Switch to: References

Add citations

You must login to add citations.
  1. Orthomodularity and relevance.G. N. Georgacarakos - 1979 - Journal of Philosophical Logic 8 (1):415 - 432.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The conditional in quantum logic.Gary M. Hardegree - 1974 - Synthese 29 (1-4):63 - 80.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Stalnaker conditionals and quantum logic.Gary M. Hardegree - 1975 - Journal of Philosophical Logic 4 (4):399 - 421.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
    Logical matrices for orthomodular logic are introduced. The underlying algebraic structures are orthomodular lattices, where the conditional connective is the Sasaki arrow. An axiomatic calculusOMC is proposed for the orthomodular-valid formulas.OMC is based on two primitive connectives — the conditional, and the falsity constant. Of the five axiom schemata and two rules, only one pertains to the falsity constant. Soundness is routine. Completeness is demonstrated using standard algebraic techniques. The Lindenbaum-Tarski algebra ofOMC is constructed, and it is shown to be (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Is (quantum) logic empirical?M. Drieschner - 1977 - Journal of Philosophical Logic 6 (1):415 - 423.
    Download  
     
    Export citation  
     
    Bookmark   4 citations