Switch to: References

Add citations

You must login to add citations.
  1. Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
    The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Proof Systems for BAT Consequence Relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark