Switch to: References

Add citations

You must login to add citations.
  1. A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
    The framework of natural deduction is extended by permitting rules as assumptions which may be discharged in the course of a derivation. this leads to the concept of rules of higher levels and to a general schema for introduction and elimination rules for arbitrary n-ary sentential operators. with respect to this schema, (functional) completeness "or", "if..then" and absurdity is proved.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Inverses for normal modal operators.Lloyd Humberstone & Timothy Williamson - 1997 - Studia Logica 59 (1):33-64.
    Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Proof Theory and Meaning.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   21 citations