Switch to: Citations

Add references

You must login to add references.
  1. Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • Which logic is the right logic?Leslie H. Tharp - 1975 - Synthese 31 (1):1 - 21.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • The adequacy problem for inferential logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Continuity and elementary logic.Leslie H. Tharp - 1974 - Journal of Symbolic Logic 39 (4):700-716.
    The purpose of this paper is to investigate continuity properties arising in elementary (i.e., first-order) logic in the hope of illuminating the special status of this logic. The continuity properties turn out to be closely related to conditions which characterize elementary logic uniquely, and lead to various further questions.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.
    Download  
     
    Export citation  
     
    Bookmark   32 citations