46 found
Sort by:
Disambiguations:
Nuel D. Belnap [33]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.
    No categories
    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. 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  
  9. Nuel D. Belnap (1982). Display Logic. Journal of Philosophical Logic 11 (4):375-417.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Nuel D. Belnap (1982). Gupta's Rule of Revision Theory of Truth. Journal of Philosophical Logic 11 (1):103-116.
  11. Nuel D. Belnap Jr (1981). Logica Docens and Relevance. Teaching Philosophy 4 (3/4):419-427.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. 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  
  13. 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  
  14. Michael Clark, Alan Ross Anderson & Nuel D. Belnap (1978). Entailment. The Logic of Relevance and Necessity. Volume I. Philosophical Quarterly 28 (111):172.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Nuel D. Belnap (1976). The Logic of Questions and Answers. Yale University Press.
     
    My bibliography  
     
    Export citation  
  16. Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. Dorothy L. Grover, Joseph L. Kamp & Nuel D. Belnap (1975). A Prosentential Theory of Truth. Philosophical Studies 27 (1):73--125.
  18. 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  
  19. 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  
  20. Nuel D. Belnap & Paul Feyerabend (1974). Memorial Minutes. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974:XI - XIII.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Nuel D. Belnap Jr (1973). Restricted Quantification and Conditional Assertion. In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam,North-Holland.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Nuel D. Belnap (1972). S-P Interrogatives. Journal of Philosophical Logic 1 (3-4):331-346.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Nuel D. Belnap Jr (1970). Conditional Assertion and Restricted Quantification. Noûs 4 (1):1-12.
  24. 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  
  25. 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  
  26. 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  
  27. 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  
  28. Nuel D. Belnap Jr (1966). Questions, Answers, and Presuppositions. Journal of Philosophy 63 (20):609-611.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. 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  
  31. 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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. 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  
  33. 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  
  34. Alan Ross Anderson & Nuel D. Belnap Jr (1962). The Pure Calculus of Entailment. Journal of Symbolic Logic 27 (1):19-52.
  35. 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  
  36. 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  
  37. Alan Ross Anderson & Nuel D. Belnap Jr (1961). Enthymemes. Journal of Philosophy 58 (23):713-723.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Alan Ross Anderson, Nuel D. Belnap & John R. Wallace (1960). Independent Axiom Schemata for the Pure Theory of Entailment. Mathematical Logic Quarterly 6 (1‐6):93-95.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Nuel D. Belnap Jr (1960). Entailment and Relevance. Journal of Symbolic Logic 25 (2):144-146.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Nuel D. Belnap Jr (1960). Twenty-Sixth Annual Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 25 (4):384-393.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. Nuel D. Belnap (1960). EQ and the First Order Functional Calculus. Mathematical Logic Quarterly 6 (7‐14):217-218.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Nuel D. Belnap (1960). Review: Hugues Leblanc, Theodore Hailperin, Nondesignating Singular Terms. [REVIEW] Journal of Symbolic Logic 25 (1):87-88.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Nuel D. Belnap (1960). Review: Jaakko Hintikka, Existential Presuppositions and Existential Commitments. [REVIEW] Journal of Symbolic Logic 25 (1):88-88.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Nuel D. Belnap (1960). Review: K. J. J. Hintikka, Towards a Theory of Definite Descriptions. [REVIEW] Journal of Symbolic Logic 25 (1):88-89.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Alan Ross Anderson & Nuel D. Belnap Jr (1959). A Simple Treatment of Truth Functions. Journal of Symbolic Logic 24 (4):301-302.
  46. Alan Ross Anderson & Nuel D. Belnap Jr (1959). Modalities in Ackermann's "Rigorous Implication". Journal of Symbolic Logic 24 (2):107-111.