Switch to: References

Citations of:

On Maintaining Concentration

Analysis 54 (3):143 - 152 (1994)

Add citations

You must login to add citations.
  1. Ultimate Normal Forms for Parallelized Natural Deductions.Neil Tennant - 2002 - Logic Journal of the IGPL 10 (3):299-337.
    The system of natural deduction that originated with Gentzen , and for which Prawitz proved a normalization theorem, is re-cast so that all elimination rules are in parallel form. This enables one to prove a very exigent normalization theorem. The normal forms that it provides have all disjunction-eliminations as low as possible, and have no major premisses for eliminations standing as conclusions of any rules. Normal natural deductions are isomorphic to cut-free, weakening-free sequent proofs. This form of normalization theorem renders (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On Tennant's intuitionist relevant logics.Peter Milne - 1996 - Australasian Journal of Philosophy 74 (1):175 – 181.
    Download  
     
    Export citation  
     
    Bookmark