Switch to: References

Add citations

You must login to add citations.
  1. Logical Connectives on Lattice Effect Algebras.D. J. Foulis & S. Pulmannová - 2012 - Studia Logica 100 (6):1291-1315.
    An effect algebra is a partial algebraic structure, originally formulated as an algebraic base for unsharp quantum measurements. In this article we present an approach to the study of lattice effect algebras (LEAs) that emphasizes their structure as algebraic models for the semantics of (possibly) non-standard symbolic logics. This is accomplished by focusing on the interplay among conjunction, implication, and negation connectives on LEAs, where the conjunction and implication connectives are related by a residuation law. Special cases of LEAs are (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations