NUEL BELNAP PUBLICATIONS Articles (except reprintings) are *’d.Monographs and books are **’d.Unmarked items are abstracts, reviews, reprints, etc. 1955 *1.“Two components of existence,” Ideas , vol. 5 (1955), pp. 21-26. 1959 2.“A modification of Ackermann’s ‘rigorous implication’” [by A. R. Anderson and NDB] (abstract), Journal of symbolic logic , vol. 23 (1958), pp. 457-458. *3.“EQ and the first order functional calculus,” appendix to Completeness-theorems for the systems E of entailment and EQ of entailment with quantification by Alan Ross Anderson, Technical report No. 6, Office of Naval Research (Group Psychology Branch) Contract SAR/Nonr-609(16), New Haven, 1959, pp. 25-27.Also appears in Zeitschrift fur mathematische logik , vol. 6 (1960), pp. 217-218. 1960 *4.“Modalities in Ackermann’s ‘rigorous implication’” [by A. R. Anderson and NDB], Journal of symbolic logic , vol. 24 (1959), pp. 107-111. 5.“Pure rigorous implication as a ‘Sequenzen-kalkul’” (abstract), Journal of symbolic logic , vol. 24 (1959), pp. 282-283. 6.“A proof of the Loewenheim-Skolem theorem” [by A. R. Anderson and NDB] (abstract), Journal of symbolic logic , vol. 24 (1959), pp. 285-286. **7. A formal analysis of entailment , Technical report No. 7, Office of Naval Research (Group Psychology Branch) Contract SAR/Nonr-609(16), New Haven, 1960, pp. viii, 107. *8.“Independent axiom schemata for the pure theory of entailment” [by A. R. Anderson, NDB and J. R. Wallace], Zeitschrift fur mathematische logik , vol. 6 (1960), pp. 93-95. 9.Book note: Axiomatic set theory (New York, 1960) by P. Suppes, Review of metaphysics , vol. 14 (1960- 61), p. 175. 1961 *10.“First degree entailments” [by A. R. Anderson and NDB], Technical report No. 10, Office of Naval Research (Group Psychology Branch) Contract SAR/Nonr-609(16), New Haven, 1961, pp. iv, 35. 11.“Tautological entailments” (abstract), Journal of symbolic logic , vol. 24 (1959), p. 316. *12.“A simple treatment of truth functions” [by A. R. Anderson and NDB], Journal of symbolic logic , vol. 24 (1959), pp. 301-302. 1 13.“A simple proof of Goedel’s completeness theorem” [by A. R. Anderson and NDB] (abstract), Journal of symbolic logic , vol. 24 (1959), pp. 320-321. *14.“A decision procedure for the system EI- of entailment with negation” [by NDB and J. R. Wallace], Technical report No. 11, Office of Naval Research (Group Psychology Branch), Contract SAR/Nonr- 609(16), New Haven, 1961, pp. 31. 15.Book note: Leviathan:a simulation of behavioral systems, to operate dynamically on a digital computer (Santa Monica, 1959) by Beatrice K. Rome and Sydney C. Rome, Review of metaphysics , vol. 15 (1961- 62), p. 195. 16.Book note: Formal representation of intentionally structured systems (Santa Monica, 1959) by Beatrice K. Rome and Sydney C. Rome, Review of metaphysics , vol. 15 (1961-62), p. 195. 17.Book note: Markov learning models for multiperson inter-actions (Stanford, 1960) by P. Suppes and R. C. Atkinson, Review of metaphysics , vol. 15 (1961-62), p. 196. 18.Review of “Existential presuppositions and existential commitments” (Journal of philosophy , 1959) by J. Hintikka, Journal of symbolic logic , vol. 25 (1960), p. 88. 19.Review of “Nondesignating singular terms” ( Philosophical review , 1959) by H. Leblanc and T. Hailperin, Journal of symbolic logic, vol. 25 (1960), pp. 87-88. 20.Review of “Towards a theory of definite descriptions” ( Analysis , 1959) by J. J. Hintikka, Journal of symbolic logic , vol. 25 (1960), pp. 88-89. *21.“Entailment and relevance,” Journal of symbolic logic , vol. 25 (1960), pp. 144-146. *22.“Enthymemes” [by A. R. Anderson and NDB], Journal of philosophy , vol. 58 (1961), pp. 713-723. 1962 *23.“Tautological entailments” [by A. R. Anderson and NDB], Philosophical Studies , vol. 13 (1962), pp. 9-24. *24.“Tonk, Plonk and Plink,” Analysis , vol. 22 (1961-62), pp. 130-134. *25.“Intuitionism reconsidered” [by H. Leblanc and NDB], Notre Dame journal of formal logic , vol. 3 (1962), pp. 79-82. 26.“First degree formulas” (abstract), Journal of symbolic logic , vol. 25 (1960), pp. 388-389. 1963 27.“First degree entailments” [by A. R. Anderson and NDB], Mathematische annalen , vol. 149 (1963), pp. 302-319.A slightly revised version of item 10. 28.Review of Computers and common sense (Columbia University Press, 1961) by Mortimer Taube, Modern uses of logic in law , March 1963, pp. 34-38. *29.“A rule-completeness theorem” [by NDB and R. H. Thomason], Notre Dame journal of formal logic , vol. 4 (1963), pp. 39-43. *30.“The pure calculus of entailment” [by A. R. Anderson and NDB], Journal of symbolic logic , vol. 27 (1962), pp. 19-52. 2 **31. An analysis of questions:preliminary report , System Development Corporation, Santa Monica, California, 1963, pp. 160. 32.Review of Natural deduction (Wadsworth, 1962) by John M. Anderson and Henry W. Johnstone, Jr., American mathematical monthly , 1963. 33.Review of “The number of classes of invertible boolean functions” ( Journal ACM , 1963) by M. A. Harrison, Computing reviews , vol. 4 (1963), p. 138. 34.Review of Truth-functional logic (The Free Press of Glencoe, New York, 1962) by J. A. Faris, Computing reviews , vol. 4 (1963), p. 229. 1964 *35.“On not strengthening intuitionistic logic” [by NDB, H. Leblanc and R. H. Thomason], Notre Dame journal of formal logic , vol. 4 (1963), pp. 313-320. 36.“On not strengthening intuitionistic logic” [by NDB, H. Leblanc and R. H. Thomason] (abstract), read at December 1963 meeting of the Association for Symbolic Logic, Journal of symbolic logic , vol. 28 (1963), p. 297. 37.Review of “A logic of questions and answers” ( Philosophy of Science , 1961), Communication:A logical model (The M.I.T. Press, 1963), and “A model for applying information and utility functions” (Philosophy of Science , 1963) by David Harrah, Journal of symbolic logic , vol. 29 (1964), pp. 136-138. 38.No such item. 1965 39.Review of “A measure of subjective information” by Rulon Wells, Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics , vol. 12, American Mathematical Society, 1961, pp. 237-244, and “Comments” by J. D. Sable and R. Wells, ibid ., pp. 267-268. Journal of symbolic logic , vol. 30 (1965), pp. 244-245. 40.A reprinting of item 38. 1966 41.“A decision procedure for the system EI- of entailment with negation” [by NDB and J. R. Wallace], Zeitschrift fur mathematische logik , vol. 11 (1965), pp. 277-289.A revision of item 14. 42.“Questions, answers, and presuppositions,” Journal of philosophy , vol. 63 (1966), pp. 609- 611.Abstract of a paper read at the 1966 meeting of the Eastern Division of the American Philosophical Association. 43.Combined review of three articles by B. Sobocinski and six articles by Ivo Thomas, all on Lewis-like modal logics, Journal of symbolic logic , vol. 31 (1966), pp. 498-500. 1967 *44.“Intensionally complemented distributive lattices” [by NDB and Joel Spencer], Portugaliae Mathematica , vol. 25 (1966), pp. 99-104. *45.“Intensional models for first degree formulas,” Journal of symbolic logic , vol. 32 (1967), pp. 1-22. 3 46.“Special cases of the decision problem for entailment and relevant implication,” Journal of symbolic logic , vol. 32 (1967), pp. 431-432.Abstract of a paper read at the 1967 meeting of the Association for Symbolic Logic. 47.“Homomorphisms of intentionally complemented distributive lattices” [by J. Michael Dunn and NDB] (abstract), Journal of symbolic logic , vol. 32 (1967), p. 446. *48.“Comments on H. Simon’s ‘The logic of heuristic decision making,’” The logic of decision and action , ed. N. Rescher, University of Pittsburgh Press, 1967, pp. 27-31. 49.“Tonk, Plonk and Plink,” Philosophical logic , ed. P. F. Strawson, Oxford, 1967, pp. 132-137.A reprinting of item 24. 1968 *50.“Homomorphisms of intensionally complemented distributive lattices” [by J. M. Dunn and NDB], Mathematische annalen , vol. 176 (1968), pp. 28-38. 51.“Entailment” [by A. R. Anderson and NDB], Logic and Philosophy , ed. G. Iseminger, New York, 1968, pp. 76-110.A version of item 30, with some revisions, deletions, and additions.Also contains a portion of item 23. *52.“The substitution interpretation of the quantifiers” [by J. M. Dunn and NDB], Noûs , vol. 2 (1968), pp. 177-185. 52a. Reviews of three articles by C. A. Meredith and A. N. Prior, one by A. F. Bausch, and one by M. J. Cresswell, Zentralblatt fur Mathematik und ihre Grenzgebiete , vol. 146 (1968), pp. 8-9. 1969 *53.“Aqvist’s corrections-accumulating question-sequences,” Philosophical logic , ed. J. W. Davis, D. J. Hockney, and W. K. Wilson, Reidel, 1969, pp. 122-134. *54.“Questions:their presuppositions, and how they can fail to arise,” The logical way of doing things , ed. K. Lambert, Yale University Press, 1969, pp. 23-37. 1970 *55.“Every functionally complete m-valued logic has a Post-complete axiomatization” [by NDB and Storrs McCall], Notre Dame journal of formal logic , vol. 11 (1970), p. 106. *56.“Conditional assertion and restricted quantification,” Noûs , vol. 4 (1970), p. 1-13. 1971 57.Review of “A propositional logic with subjunctive conditionals” ( Journal of symbolic logic , 1962) by R. B. Angell, Journal of symbolic logic , vol. 35 (1970), pp. 464-465. 1972 *58.“ S-P interrogatives,” Journal of philosophical logic , vol. 1 (1972), pp. 331-346. 4 59.“Foreword” to A general interpreted modal calculus by Aldo Bressan, Yale University Press, 1972, pp. xiii-xxv. 1973 *60.“Quantifying in and out of quotes” [by NDB and D. L. Grover], Truth, syntax, and modality , ed. H. Leblanc, North-Holland, 1973, pp. 17-47. *61.“Restricted quantification and conditional assertion,” Truth, syntax, and modality , ed. H. Leblanc, North-Holland, 1973, pp. 48- 1974 62.“A memorial note on A. R. Anderson,” Metaphilosophy , vol.