Switch to: References

Add citations

You must login to add citations.
  1. Combinator logics.Lou Goble - 2004 - Studia Logica 76 (1):17 - 66.
    Combinator logics are a broad family of substructual logics that are formed by extending the basic relevant logic B with axioms that correspond closely to the reduction rules of proper combinators in combinatory logic. In the Routley-Meyer relational semantics for relevant logic each such combinator logic is characterized by the class of frames that meet a first-order condition that also directly corresponds to the same combinator's reduction rule. A second family of logics is also introduced that extends B with the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations