87 found
Order:
Disambiguations
Nuel D. Belnap [85]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.  78
    The Logic of Questions and Answers.Nuel D. Belnap & Thomas B. Steel (eds.) - 1976 - New Haven/London: Yale University Press.
  4. Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
  5. Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
  6. 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   45 citations  
  7. The Substitution Interpretation of the Quantifiers.J. Michael Dunn & Nuel D. Belnap - 1968 - Noûs 2 (2):177-185.
  8.  76
    Conditional Assertion and Restricted Quantification.Nuel D. Belnap - 1970 - Noûs 4 (1):1-12.
  9.  50
    Tautological Entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
  10.  72
    The Pure Calculus of Entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
  11.  19
    Restricted Quantification and Conditional Assertion.Nuel D. Belnap Jr - 1973 - In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam: North-Holland.
  12.  55
    Entailment and Relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.
  13. Modalities in Ackermann's “Rigorous Implication”.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (2):107-111.
    Following a suggestion of Feys, we use “rigorous implication” as a translation of Ackermann's strenge Implikation ([1]). Interest in Ackermann's system stems in part from the fact that it formalizes the properties of a strong, natural sort of implication which provably avoids standard implicational paradoxes, and which is consequently a good candidate for a formalization of entailment (considered as a narrower relation than that of strict implication). Our present purpose will not be to defend this suggestion, but rather to present (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  14.  20
    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.
  15.  48
    Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.
  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.  33
    Intensional Models for First Degree Formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
  18.  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.
  19.  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   8 citations  
  20.  13
    Tautological Entailments.Alan Ross Anderson & Nuel D. Belnap - 1968 - Journal of Symbolic Logic 33 (4):608-608.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  60
    Questions, Answers, and Presuppositions.Nuel D. Belnap - 1966 - Journal of Philosophy 63 (20):609-611.
  22.  62
    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.
  23.  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  
  24.  25
    Logica Docens and Relevance.Nuel D. Belnap Jr - 1981 - Teaching Philosophy 4 (3-4):419-427.
  25.  10
    '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   4 citations  
  26.  54
    A Simple Treatment of Truth Functions.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (4):301-302.
    In this note we present an axiomatization of the classical two-valued propositional calculus, for which proofs of decidability, consistency, completeness, and independence, are almost trivial (given an understanding of truth tables).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  17
    A Rule-Completeness Theorem.Nuel D. Belnap & Richmond H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (1):39-43.
  28. 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  
  29.  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.
  30.  41
    S-P Interrogatives.Nuel D. Belnap - 1972 - Journal of Philosophical Logic 1 (3-4):331-346.
  31.  11
    Questions.Sylvain Bromberger, David Harrah & Nuel D. Belnap - 1968 - Journal of Symbolic Logic 33 (2):310-310.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  21
    Twenty-Sixth Annual Meeting of the Association for Symbolic Logic.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (4):384-393.
  33.  12
    Review: Hugues Leblanc, Theodore Hailperin, Nondesignating Singular Terms. [REVIEW]Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (1):87-88.
  34.  7
    Ł20. 00.Alan Ross Anderson, Nuel D. Belnap & Michael C. Banner - 1992 - Mind 101.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. 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  
  36.  13
    Introduction to the Fiftieth Anniversary Issues.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 - Notre Dame Journal of Formal Logic 51 (1).
  37.  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  
  38.  30
    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.
  39. Approaches to the Semantics of Questions in Natural Language.Nuel D. Belnap - 1983 - In Rainer Bäuerle, Christoph Schwarze & Arnim von Stechow (eds.), Meaning, Use, and Interpretation of Language. De Gruyter. pp. 22--29.
     
    Export citation  
     
    Bookmark  
  40.  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.
  41. Chronological Index of Reviews.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (3/4):240.
  42.  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  
  43. 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   17 citations  
  44. 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   16 citations  
  45. Entailment and Relevance.Nuel D. Belnap - 1969 - Journal of Symbolic Logic 34 (1):120-120.
  46.  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  
  47.  6
    Hintikka Jaakko. Existential Presuppositions and Existential Commitments. The Journal of Philosophy, Vol. 56 , Pp. 125–137. [REVIEW]Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (1):88-88.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  9
    Hintikka K. J. J.. Towards a Theory of Definite Descriptions. Analysis , Vol. 19 No. 4 , Pp. 79–85.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (1):88-89.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49. Index of Abstracts.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (1/2):13.
     
    Export citation  
     
    Bookmark  
  50. Index of Reviews by Subjects.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (3/4):149.
1 — 50 / 87