Switch to: Citations

References in:

Some Properties of Orthologics

Studia Logica 80 (1):75-93 (2005)

Add references

You must login to add references.
  1. The deduction theorem for quantum logic—some negative results.Jacek Malinowski - 1990 - Journal of Symbolic Logic 55 (2):615-625.
    We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • The Super-amalgamation Property Of The Variety Of Ortholattices.Yutaka Miyazaki - 1999 - Reports on Mathematical Logic:45-63.
    It is shown that the variety of ortholattices is super-amalgamable. From this fact, it is proved, by an algebraic argument, that the minimum orthologic and its first order predicate extension have the Craig's interpolation property.
    Download  
     
    Export citation  
     
    Bookmark   2 citations