Switch to: Citations

Add references

You must login to add references.
  1. The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  • Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
    Download  
     
    Export citation  
     
    Bookmark   205 citations  
  • The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.
    Download  
     
    Export citation  
     
    Bookmark   162 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   27 citations  
  • Hacking's logic.Göran Sundholm - 1981 - Journal of Philosophy 78 (3):160-168.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Tonk.Steven Wagner - 1981 - Notre Dame Journal of Formal Logic 22 (4):289-300.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
    Download  
     
    Export citation  
     
    Bookmark   289 citations  
  • Semantic Holism.Nuel D. Belnap Jr & Gerald J. Massey - 1990 - Studia Logica 49 (1):67 - 82.
    A bivalent valuation is snt iff sound (standard PC inference rules take truths only into truths) and non-trivial (not all wffs are assigned the same truth value). Such a valuation is normal iff classically correct for each connective. Carnap knew that there were non-normal snt valuations of PC, and that the gap they revealed between syntax and semantics could be "jumped" as follows. Let $VAL_{snt}$ be the set of snt valuations, and $VAL_{nrm}$ be the set of normal ones. The bottom (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Prior and Belnap.W. D. Hart - 1982 - Theoria 48 (3):127-138.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Negations in conflict.Michael Hand - 1993 - Erkenntnis 38 (1):115 - 129.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
    Download  
     
    Export citation  
     
    Bookmark   124 citations  
  • Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
    Download  
     
    Export citation  
     
    Bookmark   148 citations  
  • Proof Theory and Meaning.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   21 citations