N. D. Belnap [3]N. D. Belnap Jr [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.
    Export citation  
    Bookmark   240 citations  
  2.  7
    The Display Problem.N. D. Belnap - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 79--93.
  3.  33
    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 (5 more)  
    Export citation  
    Bookmark   3 citations  
  4. 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
    Export citation