Switch to: References

Add citations

You must login to add citations.
  1. Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
    Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Three processes in natural language interpretation.Tim Fernando - manuscript
    To address complications involving ambiguity, presupposition and implicature, three processes underlying natural language interpretation are isolated: translation, entailment and attunement. A meta- language integrating these processes is outlined, elaborating on a proof-theoretic approach to presupposition.
     
    Export citation  
     
    Bookmark  
    		•