Order:
Disambiguations
N. D. Belnap [4]N. D. Belnap Jr [1]N. D. Belnap [1]
  1. A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
    Translate
     
     
    Export citation  
     
    Bookmark   169 citations  
  2. The Logic of Questions and Answers.N. D. Belnap & T. B. Steel - 1979 - Mind 88 (350):297-299.
    No categories
     
    Export citation  
     
    Bookmark   33 citations  
  3.  5
    The Display Problem.N. D. Belnap - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 79--93.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  8
    An Analysis of Questions: Preliminary Report.N. D. Belnap - 1963 - System Development.
  5.  32
    On Not Strengthening Intuitionistic Logic.N. D. Belnap, H. Leblanc & R. H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (4):313-320.
    tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. J. Alberto Coffa.W. C. Salmon, G. Massey, N. D. Belnap Jr & T. M. Simpson - 1993 - In David-Hillel Ruben (ed.), Explanation. Oxford University Press.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark