59 found
Sort by:
Disambiguations:
Nuel D. Belnap [46]Nuel D. Belnap Jr [13]
See also:
Profile: Nuel Belnap (University of Pittsburgh)
  1. Nuel D. Belnap, Has a Post-Complete Axiomatization.
    and I CaPI e D, then I Pl e D for all similar assignments. (2) For all values of P and q, I CPCNPql e D. (3) For all values of the variables in a, if la( e U then INal e D. (4) The F,P are constant functions such that, for all values of P, ~ FIP~ = 1, I F, Pl = 2,..., I F„t I = m.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Nuel D. Belnap, An Amendment.
    1. Rescher 1964 — henceforth HR — proposes a way of reasoning from a set of hypotheses which may include both some of our beliefs and also hypotheses contradicting those beliefs. The aim of this paper is to point out what I take to be a fault in Rescher’s proposal, and to suggest a modification of it, using a nonclassical logic, which avoids that fault. The paper neither attacks nor defends the broader aspects of Rescher’s proposal, but merely assumes that (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Ignacio Angelelli, Robert Bull, Jean E. Rubin, F. Gonzalez Asenjo, John Thomas Canty, Luis Elpidio Sanchis, Nuel D. Belnap, George Goe, Wilson E. Singletary & Ivan Boh (2010). Introduction to the Fiftieth Anniversary Issues. Notre Dame Journal of Formal Logic 51 (1).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Nuel D. Belnap (2001). Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press on Demand.
    Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Nuel D. Belnap (1996). Sobociński Bolesław. A Contribution to the Axiomatization of Lewis' System S5. Notre Dame Journal of Formal Logic, Vol. 3 (1962), Pp. 51–63. Sobociński Bolesław. On the Generalized Brouwerian Axioms. Notre Dame Journal of Formal Logic, Vol. 3 (1962), Pp. 123–128. Sobociński Bolesław. A Note on Modal Systems. Notre Dame Journal of Formal Logic, Vol. 4 (1963), Pp. 155–157. Thomas Ivo. Solutions of Five Modal Problems of Sobociński. Notre Dame Journal of Formal Logic, Vol. 3 (1962), Pp. 199–200. Thomas Ivo ... [REVIEW] Journal of Symbolic Logic 31 (3):498-500.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Alan Ross Anderson, Nuel D. Belnap, J. Michael Dunn & D. M. Balme (1993). Appearance in the List Does Not Preclude a Future Review of the Book. Where They Are Known Prices Are Given in $ US or in£ UK. Allen, Colin and Hand, Michael, Logic Primer, Cambridge Massachusetts, USA, The MIT Press, 1992, Pp. 171,£ 11.75. [REVIEW] Mind 102:405.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Alan Ross Anderson, Nuel D. Belnap & Michael C. Banner (1992). Ł20. 00. Mind 101.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn (1992). Entailment: The Logic of Relevance and Necessity, Vol. II. Princeton University Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Nuel D. Belnap & Gerald J. Massey (1990). Semantic Holism. 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. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Ryszard Wójcicki, Nuel D. Belnap, Thomas B. Steel, G. E. Kréjdlin & Radu J. Bogdan (1983). Wyklady Z Metodologii Nauk. Studia Logica 42 (4):478-479.
     
    My bibliography  
     
    Export citation  
  11. Nuel D. Belnap (1982). Display Logic. Journal of Philosophical Logic 11 (4):375-417.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Nuel D. Belnap (1982). Gupta's Rule of Revision Theory of Truth. Journal of Philosophical Logic 11 (1):103-116.
  13. Nuel D. Belnap Jr (1981). Logica Docens and Relevance. Teaching Philosophy 4 (3/4):419-427.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Nuel D. Belnap, Anil Gupta & J. Michael Dunn (1980). A Consecutive Calculus for Positive Relevant Implication with Necessity. Journal of Philosophical Logic 9 (4):343-362.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Michael A. McRobbie & Nuel D. Belnap (1979). Relevant Analytic Tableaux. Studia Logica 38 (2):187 - 200.
    Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are vialeft-handed Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain global requirements. Relevance is caught by the requirement that each node must be used; modality is caught by the requirement that only certain rules can cross a barrier. Open problems are discussed.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Michael Clark, Alan Ross Anderson & Nuel D. Belnap (1978). Entailment. The Logic of Relevance and Necessity. Volume I. Philosophical Quarterly 28 (111):172.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Alan Ross Anderson & Nuel D. Belnap (1977). Entailment. Vol. 1. Canadian Journal of Philosophy 7 (2):405-411.
    No categories
     
    My bibliography  
     
    Export citation  
  18. Nuel D. Belnap & Dorothy L. Grover (1977). Quantifying in and Out Of' Quotes. Journal of Symbolic Logic 42 (2):313-313.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Nuel D. Belnap (1976). The Logic of Questions and Answers. Yale University Press.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
  21. Dorothy L. Grover, Joseph L. Kamp & Nuel D. Belnap (1975). A Prosentential Theory of Truth. Philosophical Studies 27 (1):73--125.
  22. Nuel D. Belnap Jr (1974). A Memorial Note on Alan Ross Anderson. Metaphilosophy 5 (2):73–75.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Nuel D. Belnap (1974). A Memorial Note on Alan Ross Anderson. Metaphilosophy 5 (2):73-75.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Nuel D. Belnap & Paul Feyerabend (1974). Memorial Minutes. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974:60.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Nuel D. Belnap Jr (1973). Restricted Quantification and Conditional Assertion. In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam,North-Holland
  26. Nuel D. Belnap (1972). S-P Interrogatives. Journal of Philosophical Logic 1 (3-4):331-346.
  27. Nuel D. Belnap Jr (1970). Conditional Assertion and Restricted Quantification. Noûs 4 (1):1-12.
  28. Nuel D. Belnap (1970). Review: R. B. Angell, A Propositional Logic with Subjunctive Conditionals. [REVIEW] Journal of Symbolic Logic 35 (3):464-465.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Nuel D. Belnap & Storrs McCall (1970). Every Functionally Complete $M$-Valued Logic has a Post-Complete Axiomatization. Notre Dame Journal of Formal Logic 11 (1):106-106.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. J. Michael Dunn & Nuel D. Belnap Jr (1968). The Substitution Interpretation of the Quantifiers. Noûs 2 (2):177-185.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Nuel D. Belnap Jr (1967). Intensional Models for First Degree Formulas. Journal of Symbolic Logic 32 (1):1-22.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Nuel D. Belnap Jr (1966). Questions, Answers, and Presuppositions. Journal of Philosophy 63 (20):609-611.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Nuel D. Belnap (1966). Review: Boleslaw Sobocinski, A Contribution to the Axiomatization of Lewis' System $S_5$; Ivo Thomas, Ten Modal Models. [REVIEW] Journal of Symbolic Logic 31 (3):498-500.
  34. Nuel D. Belnap (1965). Review: Rulon Wells, A Measure of Subjective Information. [REVIEW] Journal of Symbolic Logic 30 (2):244-245.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Nuel D. Belnap & John R. Wallace (1965). A Decision Procedure For the System EĪ of Entailment with Negation. Mathematical Logic Quarterly 11 (4):277-289.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Nuel D. Belnap (1964). Review: David Harrah, A Logic of Questions and Answers; David Harrah, Communication: A Logical Model; David Harrah, A Model for Applying Information and Utility Functions. [REVIEW] Journal of Symbolic Logic 29 (3):136-138.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Nuel D. Belnap & Santa Monica Calif System Development Corporation (1963). An Analysis of Questions Preliminary Report. System Development Corp.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Nuel D. Belnap & Richmond H. Thomason (1963). A Rule-Completeness Theorem. Notre Dame Journal of Formal Logic 4 (1):39-43.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Alan Ross Anderson & Nuel D. Belnap Jr (1962). The Pure Calculus of Entailment. Journal of Symbolic Logic 27 (1):19-52.
  40. Alan Ross Anderson & Nuel D. Belnap (1962). Tautological Entailments. Philosophical Studies 13 (1-2):9 - 24.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Hugues Leblanc & Nuel D. Belnap (1962). Intuitionism Reconsidered. Notre Dame Journal of Formal Logic 3 (2):79-82.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Alan Ross Anderson & Nuel D. Belnap Jr (1961). Enthymemes. Journal of Philosophy 58 (23):713-723.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Nuel D. Belnap (1961). Chronological Index of Reviews. Journal of Symbolic Logic 26 (3/4):240.
     
    My bibliography  
     
    Export citation  
  44. Nuel D. Belnap (1961). Index of Abstracts. Journal of Symbolic Logic 26 (1/2):13.
     
    My bibliography  
     
    Export citation  
  45. Nuel D. Belnap (1961). Index of Reviews by Subjects. Journal of Symbolic Logic 26 (3/4):149.
     
    My bibliography  
     
    Export citation  
  46. Nuel D. Belnap (1961). Index of Reviews by Authors. Journal of Symbolic Logic 26 (1/2):20.
     
    My bibliography  
     
    Export citation  
  47. Nuel D. Belnap (1961). Index of Reviewers. Journal of Symbolic Logic 26 (1/2):143.
     
    My bibliography  
     
    Export citation  
  48. Nuel D. Belnap (1961). Prefatory Statement to the Index Volume. Journal of Symbolic Logic 26 (1/2):1.
     
    My bibliography  
     
    Export citation  
  49. Nuel D. Belnap (1961). Table of Codes. Journal of Symbolic Logic 26 (3/4):308.
     
    My bibliography  
     
    Export citation  
  50. Nuel D. Belnap (1961). Index of Contributed Papers: [Vol. 1-25]. Journal of Symbolic Logic 26 (1):2-12.
     
    My bibliography  
     
    Export citation  
1 — 50 / 59