85 found
Order:
Disambiguations
Nuel D. Belnap [83]Nuel D. Belnap Jr [2]
See also
Nuel Belnap
University of Pittsburgh
  1. Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan R. Anderson & Nuel D. Belnap - 1975 - Princeton University Press.
  2. A Prosentential Theory of Truth.Dorothy L. Grover, Joseph L. Camp & Nuel D. Belnap - 1975 - Philosophical Studies 27 (1):73--125.
  3. Modalities in Ackermann's “Rigorous Implication”.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (2):107-111.
  4. Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   44 citations  
  5.  71
    The Logic of Questions and Answers.Nuel D. Belnap - 1976 - Yale University Press.
  6. Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
  7. Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
    Gupta’s Rule of Revision theory of truth builds on insights to be found in Martin and Woodruff and Kripke in order to permanently deepen our understanding of truth, of paradox, and of how we work our language while our language is working us. His concept of a predicate deriving its meaning by way of a Rule of Revision ought to impact significantly on the philosophy of language. Still, fortunately, he has left me something to.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  8. The Substitution Interpretation of the Quantifiers.J. Michael Dunn & Nuel D. Belnap - 1968 - Noûs 2 (2):177-185.
  9. Double Time References: Speech-Act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 37-58.
    No categories
     
    Export citation  
     
    Bookmark   15 citations  
  10.  71
    Conditional Assertion and Restricted Quantification.Nuel D. Belnap - 1970 - Noûs 4 (1):1-12.
  11.  51
    A Simple Treatment of Truth Functions.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (4):301-302.
  12. Double Time References: Speech-Act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 37-58.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  13.  18
    Restricted Quantification and Conditional Assertion.Nuel D. Belnap Jr - 1973 - In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam: North-Holland.
  14.  46
    Tautological Entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
  15.  68
    The Pure Calculus of Entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
  16. Entailment. Vol. 1.Alan Ross Anderson & Nuel D. Belnap - 1977 - Canadian Journal of Philosophy 7 (2):405-411.
     
    Export citation  
     
    Bookmark   11 citations  
  17.  53
    Entailment and Relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.
  18. 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]Alan Ross Anderson, Nuel D. Belnap, J. Michael Dunn & D. M. Balme - 1993 - Mind 102:405.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  31
    Intensional Models for First Degree Formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
  20.  19
    A Decision Procedure For the SystemEĪ of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (4):277-289.
  21.  47
    Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.
  22.  21
    R. B. Angell. A Propositional Logic with Subjunctive Conditionals. The Journal of Symbolic Logic, Vol. 27 No. 3 , Pp. 327–343.Nuel D. Belnap - 1970 - Journal of Symbolic Logic 35 (3):464-465.
  23.  20
    David Harrah. A Logic of Questions and Answers. Philosophy of Science, Vol. 28 , Pp. 40–46. - David Harrah. Communication: A Logical Model. The M.I.T. Press, Cambridge, Massachusetts, 1963, Xi + 118 Pp. - David Harrah. A Model for Applying Information and Utility Functions. Philosophy of Science, Vol. 30 , Pp. 267–273. [REVIEW]Nuel D. Belnap - 1964 - Journal of Symbolic Logic 29 (3):136-138.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  33
    Relevant Analytic Tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  10
    A Decision Procedure For the System EĪ of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Mathematical Logic Quarterly 11 (4):277-289.
  26. The Logic of Questions and Answers.Nuel D. Belnap & Thomas B. Steel - 1978 - Philosophy 53 (204):276-277.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  27.  25
    Logica Docens and Relevance.Nuel D. Belnap Jr - 1981 - Teaching Philosophy 4 (3-4):419-427.
  28.  10
    Tautological Entailments.Alan Ross Anderson & Nuel D. Belnap - 1968 - Journal of Symbolic Logic 33 (4):608-608.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  54
    Questions, Answers, and Presuppositions.Nuel D. Belnap - 1966 - Journal of Philosophy 63 (20):609-611.
  30.  59
    A Consecutive Calculus for Positive Relevant Implication with Necessity.Nuel D. Belnap, Anil Gupta & J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (4):343-362.
  31.  3
    Entailment and Deducibility.T. J. Smiley, Alan Ross Anderson & Nuel D. Belnap - 1965 - Journal of Symbolic Logic 30 (2):240-241.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  32.  9
    Bolesław Sobociński. A Contribution to the Axiomatization of Lewis' System S5. Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 51–63. - Bolesław Sobociński. On the Generalized Brouwerian Axioms.Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 123–128. - Bolesław Sobociński. A Note on Modal Systems.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 155–157. - Ivo Thomas. Solutions of Five Modal Problems of Sobociński.Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 199–200. - Ivo Thomas. S1° and Brouwerian Axioms.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 151–152. - Ivo Thomas. S1° and Generalized Si-Axioms.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 153–154. - Ivo Thomas. A Final Note on S1° and the Brouwerian Axioms.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 231–232. - Ivo Thomas. Modal Systems in the Neighbourhood of T.Notre Dame Journal of Formal Logic, Vol. 5 No. 1 , Pp. 59–61. - Ivo Thomas. Ten Modal Models. The Journal of Symbolic Logic, Vol. 29 No. 3 , Pp. 125–12. [REVIEW]Nuel D. Belnap - 1966 - Journal of Symbolic Logic 31 (3):498-500.
  33. The Logic of Questions and Answers.Nuel D. Belnap & Thomas B. Steel - 1978 - Philosophy of Science 45 (3):490-491.
     
    Export citation  
     
    Bookmark   4 citations  
  34.  9
    'Quantifying in and Out Of' Quotes.Nuel D. Belnap & Dorothy L. Grover - 1977 - Journal of Symbolic Logic 42 (2):313-313.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  29
    A Contribution to the Axiomatization of Lewis' System S 5.Ten Modal Models.Nuel D. Belnap, Boleslaw Sobocinski & Ivo Thomas - 1966 - Journal of Symbolic Logic 31 (3):498.
  36.  25
    EQ and the First Order Functional Calculus.Nuel D. Belnap - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.
  37.  39
    S-P Interrogatives.Nuel D. Belnap - 1972 - Journal of Philosophical Logic 1 (3-4):331-346.
  38.  19
    Wells Rulon. A Measure of Subjective Information. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, Pp. 237–244.Sable J. D., Wells R.. Comments. Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics, Vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, Pp. 267–268. [REVIEW]Nuel D. Belnap - 1965 - Journal of Symbolic Logic 30 (2):244-245.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. Entailment and Relevance.Nuel D. Belnap - 1969 - Journal of Symbolic Logic 34 (1):120-120.
  40.  16
    A Rule-Completeness Theorem.Nuel D. Belnap & Richmond H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (1):39-43.
  41.  7
    Questions.Sylvain Bromberger, David Harrah & Nuel D. Belnap - 1968 - Journal of Symbolic Logic 33 (2):310-310.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. 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]Nuel D. Belnap - 1964 - Journal of Symbolic Logic 29 (3):136-138.
     
    Export citation  
     
    Bookmark   2 citations  
  43.  29
    A Memorial Note on Alan Ross Anderson.Nuel D. Belnap - 1974 - Metaphilosophy 5 (2):73-75.
  44.  18
    Twenty-Sixth Annual Meeting of the Association for Symbolic Logic.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (4):384-393.
  45.  10
    Frontmatter.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  12
    Review: Hugues Leblanc, Theodore Hailperin, Nondesignating Singular Terms. [REVIEW]Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (1):87-88.
  47.  30
    Has a Post-Complete Axiomatization.Nuel D. Belnap - unknown
    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.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  8
    Acknowledgments.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  8
    Chapter X. Proof Theory and Decidability.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 267-391.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  29
    An Amendment.Nuel D. Belnap - unknown
    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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 85