Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Unified quantum logic.Mladen Pavičić - 1989 - Foundations of Physics 19 (8):999-1016.
    Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed.
    Download  
     
    Export citation  
     
    Bookmark