1. The Logic of Number, Oxford University Press, 2022. xvi + 363 pp.
      2. Core Logic, Oxford University Press, 2017. xvii + 357 pp.
      3. Introducing Philosophy: God, Mind, World and Logic, Routledge, 2015. xxii+433 pp.
      4. Changes of Mind: An Essay on Rational Belief Revision, Oxford University Press, 2012. xviii+345 pp.
      5. The Taming of The True, Oxford University Press, 1997. xvii+465 pp. Paperback edition 2002.
      6. Autologic, Edinburgh University Press, 1992, xiii+239 pp.
      7. Anti-Realism and Logic: Truth as Eternal, Clarendon Library of Logic and Philosophy, Oxford University Press, 1987, xii+325 pp.
      8. Philosophy, Evolution and Human Nature (with F. von Schilcher), Routledge and Kegan Paul, 1984, viii+283 pp. Here is a review by Francisco J. Ayala.
      9. Natural Logic, Edinburgh University Press, 1978, ix+196pp.; Japanese translation by T. Fujimura for Orion Press, 1981; second, revised edition, 1990

      Edited volume

      1. Foundational Adventures: Essays in Honor of Harvey M. Friedman. Online version published by Templeton Foundation Press, 2012. Hard copy published by College Publications, London, 2014, as Volume 22 in their Tributes series.


      1. Review of Christopher Peacocke, The Realm of Reason [pdf], in Journal of Philosophy, March 2005.
      2. Review of C.S. Jenkins, Grounding Concepts: An Empirical Basis for Arithmetical Knowledge, in Philosophia Mathematica 18, no. 3, 2010, pp. 360-367. First published online October 5, 2010 doi:10.1093/philmat/nkq019

      Articles (in reverse chronological order)

      Some of the older downloadable .pdf files below were created using the Unix facility ps2pdf. They may look like medieval woodcut when viewed with Adobe Acrobat, but they print off perfectly.

      1. ‘Core Gödel’, Notre Dame Journal of Formal Logic, forthcoming
      2. ‘On the Adequacy of a Substructural Logic for Mathematics and Science’, The Philosophical Quarterly, 2022
      3. ‘The Umpire’s Dilemma and the Ashes of Realism’, committed as an invited paper to the forthcoming Springer volume in honor of Alan Weir, in the Synthese library book series, edited by Adam Rieger and Stephan Leuenberger
      4. ‘Frege’s Class Theory and the Logic of Sets’, committed as an invited paper to the forthcoming Springer volume Peter Schroeder-Heister on Proof-Theoretic Semantics, in the series Outstanding Contributions to Logic, edited by Thomas Piecha and Kai Wehmeier
      5. ‘What is a rule of inference?’, Review of Symbolic Logic, 2021. Online first:
        DOI: Hard copy in Vol. 14, No. 2, June 2021, pp. 307-346
      6. ‘Transmission of Verification’, (with Ethan Brauer) Review of Symbolic Logic, 2020. Online first:
        DOI:10.1017/S1755020320000234. Hard copy in Vol. 14 , No. 4 , 2021, pp. 866-881
      7. ‘Inferentialism, Logicism, Harmony, and a Counterpoint’ [pdf], in Alex Miller, ed., Essays for Crispin Wright: Logic, Language and Mathematics (Oxford University Press, 2020, pp.~223–247
      8. ‘Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman-Myhill result, and its immediate reception’, Philosophia Mathematica, (III) Vol. 28, No. 2, 2020, pp. 139-171
      9. ‘Does Choice Really Imply Excluded Middle? Part II: Historical, philosophical and foundational reflections on the Goodman-Myhill result’, Philosophia Mathematica, (III) Vol. 29, No. 1, 2020, pp. 28-63.
      10. ‘GP’s LP’, in Can Baskent and Thomas Ferguson, eds., Graham Priest on Dialetheism and Paraconsistency, in Springer’s ‘Outstanding Contributions to Logic’ series, 2019, pp. 481-506
      11.   ‘Core Logic: a Conspectus’, in Jeremy Wyatt, Nikolaj J. L. L. Pedersen, and Nathan Kellen, eds, Pluralisms in Truth and Logic, Palgrave MacMillan 2018, pp. 199-215
      12. ‘Structuralism about Truth Itself, and Truthmakers as Winning Strategies’, committed as an invited paper to the memorial volume of Synthese for Jaakko Hintikka, edited by Joseph Almog and Gabriel Sandu (Springer, forthcoming)
      13. ‘On Tarski’s Axiomatization of Mereology’, Studia Logica, 107, 2019, no. 6, pp. 1089-1102. Available as ‘Online First’: DOI: 10.1007/s11225-018-9819-3
      14. ‘On Some Mistaken Beliefs about Core Logic and Some Mistaken Core Beliefs about Logic’, Notre Dame Journal of Formal Logic, 59, no. 4, 2018, pp. 559-508
      15. ‘A Logical Theory of Truthmakers and Falsitymakers’ [pdf], in Michael Glanzberg, ed., Handbook of Truth, Oxford University Press, 2018, pp. 355–393
      16. ‘Normalizability, Cut Eliminability and Paradox’, Synthese special issue Substructural Approaches to Paradox, edited by Elia Zardini; online first 2016, pp. 1–20; DOI: 10.1007/s11229-016-1119-8; URL:
      17. ‘Rule-Irredundancy and the Sequent Calculus for Core Logic’ , Notre Dame Journal of Formal Logic 57, no. 1, 2016, pp. 105–125. Advance publication online in 2015. DOI: 10.1215/00294527-3346463
      18. ‘On the Maxim of Shallow Analysis: Skeletal Validity, and the search for a system of Gaunt Proof’, in Florian Steinberger and Neil Tennant, eds., Inferentialism, forthcoming
      19. ‘A New Unified Account of Truth and Paradox’ [pdf], Mind 124, 2015, pp. 571-605
      20. ‘The Relevance of Premises to Conclusions of Core Proofs’ [pdf], Review of Symbolic Logic, 8, no. 4, 2015, pp. 743-784, DOI:
      21. ‘Cut for Classical Core Logic’ [pdf], Review of Symbolic Logic, 8, no. 2, 2015, pp. 236-256 DOI:
      22. ‘On Gentzen’s Structural Completeness Proof’ [pdf], in Heinrich Wansing, ed., Dag Prawitz on Proofs and Meaning, in the Studia Logica series Outstanding Contributions to Logic, 2015, pp. 385-414
      23. ‘Logic, Mathematics and the A Priori, Part I: A Problem for Realism’ [pdf], Philosophia Mathematica, 22, 2014, pp. 308-320. First published online May 9, 2014 doi:10.1093/philmat/nku006
      24. ‘Logic, Mathematics and the A Priori, Part II: Core logic as analytic, and as the basis for Natural Logicism’ [pdf], Philosophia Mathematica, 22, 2014, pp. 321-344. First published online June 9, 2014 doi:10.1093/philmat/nku009
      25. ‘The Logical Structure of Evolutionary Explanation and Prediction: Darwinism’s Fundamental Schema’ [pdf], Biology and Philosophy, 29, no. 5, 2014, pp. 611-655. The final publication is available at Springer via
      26. ‘Aristotle’s Syllogistic and Core Logic’ [pdf], History and Philosophy of Logic 35 no. 2, 2014, pp. 120-147. DOI 10.1080/01445340.2013.867144
      27. ‘Logicism and Neo-Logicism’, in Stanford Encyclopedia of Philosophy, August 21, 2013
      28. ‘Parts, Classes and Parts of Classes: An Anti-Realist Reading of Lewisian Mereology’ [pdf]Synthese, 190, no. 4, 2013, pp. 709-742. DOI: 10.1007/s11229-012-0200-1
      29. ‘Cut for core logic’ [pdf]Review of Symbolic Logic, 5, no. 3, 2012, pp. 450-479 DOI:
      30. ‘Harmony in a sequent setting’ [pdf]Analysis, 70, no. 3, pp. 462-468
      31. ‘The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun’s Gravitational Field’ [pdf]Studia Logica, 95, pp. 207-232
      32. ‘Deflationism and the Gödel-Phenomena: Reply to Cieslinski’ [pdf]Mind 119, no. 474, 2010, pp. 437-450
      33. ‘Cognitive Phenomenology, Semantic Qualia and Luminous Knowledge’ [pdf], in Patrick Greenough and Duncan Pritchard, eds., Williamson on Knowledge, Oxford University Press, 2009, pp. 237-256
      34. ‘Williamson’s Woes’ [pdf]Synthese Special Issue Knowability and Beyond, ed. J. Salerno, vol. 173, no. 1, 2010, pp. 9-23
      35. ‘Inferential Semantics’ [pdf], in Jonathan Lear and Alex Oliver, eds., The Force of Argument: Essays in Honor of Timothy Smiley, Routledge, pp. 223-257
      36. ‘Revamping the Restriction Strategy’ [pdf], in Joseph Salerno, ed., New Essays on the Knowability Paradox, Oxford University Press, Oxford University Press, 2009, pp. 223-238
      37. ‘Natural Logicism via the Logic of Orderly Pairing’ [pdf], in Sten Lindström, Erik Palmgren, Krister Segerberg and Viggo Stoltenberg-Hansen, eds., Logicism, Intuitionism, Formalism: What has become of them?, Synthese Library, Springer Verlag, 2009, pp. 91-125
      38. ‘Belief-Revision, the Ramsey Test, Monotonicity, and the so-called Impossibility Results’ [pdf]Review of Symbolic Logic Special Issue Logic, Context and Vagueness, ed. Horacio Arló-Costa; vol. 1, no. 4, 2008, pp. 402-423. © Cambridge University Press. Here is a link to the online edition of the journal at Cambridge Journals Online.
      39. ‘Carnap, Gödel and the Analyticity of Arithmetic’ [pdf]Philosophia Mathematica, (III) 16, 2008, pp. 100-112
      40. ‘Existence and Identity in Free Logic: A Problem for Inferentialism?’ [pdf]Mind, vol. 116, 2007, pp. 1055-1078
      41. ‘Mind, Mathematics and the Ignorabimusstreit’ [pdf], in British Journal for the History of Philosophy vol. 15, no. 4, 2007, pp. 745-773
      42. ‘What might logic and methodology have offered the Dover School Board, had they been willing to listen?’ [pdf]Public Affairs Quarterly vol. 21, no. 2, April 2007, pp. 149-167
      43. ‘Logic, Mathematics and the Natural Sciences’ [pdf] , in Dale Jacquette, ed., Handbook of the Philosophy of Science. Volume 5: Philosophy of Logic, Elsevier BV, 2006, pp. 1149-1166
      44. ‘On the Degeneracy of the Full AGM-Theory of Theory-Revision’ [pdf], in Journal of Symbolic Logic, vol. 71, no. 2, 2006, pp. 661-676
      45. ‘New Foundations for a Relational Theory of Theory-Revision’ [pdf]Journal of Philosophical Logic, vol. 35, 2006, pp. 489-528
      46. ‘A Note on the Irrelevance of Probabilistic Irrelevance’ [pdf]Analysis, vol. 66, no. 1, 2005, pp. 32-35
      47. ‘Rule-Circularity and the Justification of Deduction’ [pdf]The Philosophical Quarterly, vol. 55, no. 221, 2005, pp. 625-648. This is an electronic version of an article published in The Philosophical Quarterly. Complete citation information for the final version of the paper, as published in the print edition of The Philosophical Quarterly, is available on the Blackwell Synergy online delivery service, accessible via the journal’s website at or
      48. ‘Contracting Intuitionistic Theories’ [pdf]Studia Logica, 72, 2005, pp. 1-24.
      49. ‘Deflationism and the Gödel-Phenomena: Reply to Ketland’ [pdf]Mind vol. 114, no. 413, January 2005, pp. 89-96.
      50. ‘An Anti-Realist Critique of Dialetheism’ [pdf], in G. Priest, J. C. Beall and B. Armour-Garb, The Law of Non-Contradiction: New Philosophical Essays, Oxford University Press, 2004, pp. 355-384.
      51. ‘Relevance in Reasoning’ [pdf], in S. Shapiro, ed., Handbook of Philosophy of Logic and Mathematics, Oxford University Press, 2004, pp. 696-726.
      52. ‘A General Theory of Abstraction Operators’ [pdf]The Philosophical Quarterly, vol. 54, no. 214, 2004, pp. 105-133.
      53. ‘Theory-Contraction is NP-Complete’ [pdf]Logic Journal of the IGPL, vol. 11, no. 6, 2003, pp. 675-693.
      54. ‘Frege’s Content-Principle and Relevant Deducibility’ [pdf]Journal of Philosophical Logic, vol. 32, 2003, pp. 245-258.
      55. ‘Review Essay on Bob Hale and Crispin Wright, The Reason’s Proper Study’ [pdf]Philosophia Mathematica, vol. 11, 2003, pp. 226-241.
      56. ‘The Emperor’s New Concepts’ [pdf]Philosophical Perspectives, vol. 16, 2002, pp. 345-377.
      57. ‘Ultimate Normal Forms for Parallelized Natural Deductions, with Applications to Relevance and the Deep Isomorphism between Natural Deductions and Sequent Proofs’ [pdf]Logic Journal of the IGPL, vol. 10, no. 3, May 2002, pp. 299-337.
      58. ‘Deflationism and the Gödel-Phenomena’ [pdf]Mind, vol. 111, 443, July 2002, pp. 551-582.
      59. ‘Victor Vanquished’ [pdf]Analysis, April 2002, Vol. 62, No. 2.
      60. ‘Our Future with Cloning: On the Possibility of Serial Immortality, and Fundamental Alterations in Human Sexuality’ [pdf], in J.Fetzer, ed., Consciousness and the Algorithms of Evolution, Philip Kuijpers-John Benjamin Publishing Co., 2002.
      61. ‘Is every truth knowable? Reply to Williamson’ [pdf]Ratio, Vol. XIV, no. 3, September 2001, pp. 263-280.
      62. ‘Game Theory and Convention T’ [pdf]Nordic Journal of Philosophical Logic 6 no. 1, 2001, pp. 3-20.
      63. ‘Is every truth knowable? Reply to Hand and Kvanvig’ [pdf]Australasian Journal of Philosophy, 79, no. 1, March 2001, pp. 107-113.
      64. ‘On Turing Machines Knowing Their Own Gödel-Sentences’ [pdf]Philosophia Mathematica 9, February 2001, pp. 72-79.
      65. ‘What is Naturalism in Mathematics, Really?’ [pdf]Philosophia Mathematica 8, 2000, pp. 316-338.
      66. ‘Anti-Realist Aporias’ [pdf], in Mind, Vol. 109, 436, October 2000, pp. 831-860.
      67. ‘Deductive v. Expressive Power: A Pre-Gödelian Predicament’ [pdf], in Journal of Philosophy XCVII, no. 5, May 2000, pp. 257-277.
      68. ‘Sex and the Evolution of Fair-Dealing’ [pdf]Philosophy of Science 66, 1999, pp. 391-414
      69. ‘Radical Interpretation, Logic and Conceptual Schemes’ [pdf], in M. de Caro, ed., Interpretations and Causes. New Perspectives on Donald Davidson’s Philosophy, Kluwer Academic Press, 1999, pp. 71-93.
      70. ‘Negation, Absurdity and Contrariety’ [pdf], in D. Gabbay and H. Wansing (eds.), What is Negation?, Kluwer, Dordrecht, 1999, pp. 199-222.
      71. Critical notice on G.Priest, Beyond the Limits of Thought, Cambridge University Press, 1994′ [pdf], in Philosophical Books, 39, 1998, pp. 20-38.
      72. Games Some People Would Have All Of Us Play’ [pdf]. Review essay on K.J.J.Hintikka, The Principles of Mathematics Revisited, Cambridge University Press, 1996, in Philosophica Mathematica (3), Vol.6, 1998, pp.90-115.
      73. ‘The Full Price of Truth’ [pdf]Analysis, 58.3, 1998, pp. 221-228.
      74. ‘Changing the Theory of Theory Change: Reply to my Critics’ [pdf]British Journal for Philosophy of Science, 48, 1997, pp. 569-586.
      75. ‘On the Necessary Existence of Numbers’ [pdf]Nous, 31, 1997, pp. 307-336.
      76. ‘On Having Bad Contractions, or: No Room for Recovery’ [pdf]Journal of Applied Non-Classical Logics, 7, 1997, pp. 241-266.
      77. ‘The Law of Excluded Middle is Synthetic A Priori, if Valid’ [pdf]Philosophical Topics, 24, 1996, pp. 205-229.
      78. ‘Delicate Proof Theory’ [pdf], in J. Copeland (ed.), Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford University Press, 1996, pp. 351-385.
      79. ‘One or many logics? Arguments relevant to the philosophy of language’ [pdf], in M. Dascal, D. Gerhardus, K. Lorenz and G. Meggle (eds.), Philosophy of Language: An International Handbook of Contemporary Research, Walter de Gruyter, Berlin, 1996, pp. 1069-1085.
      80. ‘On Paradox without Self-Reference’ [pdf]Analysis 55, 1995, pp. 199-207.
      81. ‘Paradoxes of Pure Curiosity’ [pdf]Theory and Decision 38, 1995, pp. 321-330.
      82. Review article of K. Devlin, Logic and Information, Cambridge University Press, 1992′ [pdf], for Philosophia Mathematica 3, 1995, pp. 179-207.
      83. ‘On Negation, Truth and Warranted Assertability’ [pdf]Analysis 55, 1995, pp. 98-104.
      84. Articles on Dummett, on Anti-Realism and on Intuitionism for J.Kim and E.Sosa (eds.), Companion to Metaphysics, Blackwells, 1994
      85. ‘Transmission of Truth and Transitivity of Proof’ [pdf], in D. Gabbay (ed.), What is a Logical System?, Oxford University Press, 1994, pp. 161-177. See here for published version in Google Books. (Put “Neil Tennant” in the box for “Search in this book”, and follow the link for page 161.)
      86. ‘Carnap and Quine’ [pdf], in W. Salmon and G. Wolters (eds.), Logic, Language and the Structure of Scientific Theories, University of Pittsburgh Press , 1994, pp. 305-344.
      87. ‘Changing the Theory of Theory Change: Towards a Computational Approach’ [pdf]British Journal for Philosophy of Science , 45, 1994, pp. 865-897.
      88. ‘Intuitionistic Mathematics Does Not Need Ex Falso Quodlibet’ [pdf]Topoi 13, 1994, pp. 127-133.
      89. ‘Logic and Physicalism’ [pdf], in R. Casati, B. Smith and G. White (eds.), Philosophy and the Cognitive Sciences:Proceedings of the 16th International Wittgenstein Colloquium , Holder-Pichler-Tempsky, Vienna, 1994, pp. 113-126.
      90. ‘Automated Deduction and Artificial Intelligence’ [pdf], in R. Casati, B. Smith and G. White (eds.), Philosophy and the Cognitive Sciences:Proceedings of the 16th International Wittgenstein Colloquium , Holder-Pichler-Tempsky, Vienna, 1994, pp. 273-286.
      91. ‘On Maintaining Concentration’ [pdf]Analysis 1994, pp. 143-152.
      92. ‘Logic and its Place in Nature’ [pdf], in P. Parrini (ed.), Kant and Contemporary Epistemology , Kluwer, 1994, pp. 101-113.
      93. ‘Classical versus non-classical logic’, in H. Stachowiak (ed), Pragmatik: ein mehrbändiges Standardwerk , Band IV, Felix Meiner Verlag, 1994, pp. 251-272.
      94. ‘The Decoding Problem: Do We Need to Search for Extra Terrestrial Intelligence to Search for Extraterrestrial Intelligence?’ [pdf], in S. Kingsley (ed.), SPIE Proceedings Volume 1867, 1993. Reprinted in Brie Gertler and Lawrence Shapiro, eds., Arguing About The Mind, Routledge, 2007.
      95. ‘Truth Table Logic, with a Survey of Embeddability Results’ [pdf]Notre Dame Journal of Formal Logic , 30, 1989, pp. 459-484.
      96. ‘Theories, Concepts and Rationality in an Evolutionary Account of Science’, Biology and Philosophy, 3, 1988, pp. 224-231.
      97. ‘Two Problems for Evolutionary Epistemology: Psychic Reality and the Emergence of Norms’ [pdf]Ratio n.s.1, 1988, pp. 47-63.
      98. (with D. C. McCarty) ‘Skolem’s Paradox and Constructivism’ [pdf], Journal of Philosophical Logic 16, 1987, pp. 165-202. Reprinted in Stewart Shapiro, ed., The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem, The International Research Library of Philosophy: 18, Ashgate Dartmouth, 1996
      99. ‘Conventional Necessity and the Contingency of Convention’ [pdf]Dialectica 41, 1987, pp. 79-95.
      100. ‘Holism, Molecularity and Truth’ [pdf], in B.M. Taylor (ed), Michael Dummett: Contributions to Philosophy , Nijhoff, 1987, pp. 31-58.
      101. ‘Philosophy and biology: mutual enrichment or one-sided encroachment?’ [pdf]La Nuova Critica n.s.I-II, 1987, pp. 39-53.
      102. ‘Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic’ [pdf]Journal of Symbolic Logic 52, 1987, pp. 665-690.
      103. ‘The Life and Work of the Early Carnap’ [pdf], in N. Rescher (ed), Scientific Inquiry in Philosophical Perspective , University Press of America, 1987, pp. 261-280.
      104. ‘Anti-Realism and Choice of Logic’, Untersuchungen zur Logik und zur Methodologie Band 3, 1986, pp. 39-54.
      105. ‘The Withering Away of Formal Semantics?’ [pdf]Mind and Language 1, 1986, pp. 302-318.
      106. ‘Beth’s Theorem and Reductionism’ [pdf], in Pacific Philosophical Quarterly 66, 1985, pp. 342-54.
      107. ‘Minimal logic is adequate for Popperian science’ [pdf], in British Journal for Philosophy of Science 36, 1985, pp. 325-329.
      108. ‘Reductionism and holism in biology’ [pdf], in T.J. Horder, J.A. Witkowski and C.C. Wylie (eds), History of Embryology , Cambridge University Press, 1985, pp. 407-433.
      109. ‘Weir and those “disproofs” I saw before me’ [pdf]Analysis 45, 1985, pp. 208-211.
      110. ‘How is Meaning Possible?’ [pdf]Philosophical Books XXVI, 1984, pp. 65-82.
      111. ‘Intentionality, syntactic structure and the evolution of language’ [pdf], in C. Hookway (ed), Minds, Machines and Evolution , Cambridge University Press, 1984, pp. 73-103.
      112. ‘Perfect validity, entailment and paraconsistency’ [pdf]Studia Logica XLIII, 1984, pp.179-198.
      113. ‘Were those disproofs I saw before me?’ [pdf]Analysis 44, 1984, pp. 97-105.
      114. ‘In defence of evolutionary epistemology’ [pdf]Theoria IL, 1983, pp. 32-48.
      115. ‘Evolutionary epistemology’ [pdf], in P. Weingartner and J. Czermak (eds), Epistemology and Philosophy of Science – Proceedings of the 7th International Wittgenstein Colloquium, Vienna, 1983, pp. 168-173.
      116. ‘A defence of arbitrary objects’ [pdf]Proceedings of the Aristotelian Society Supplementary Volume LVII, 1983, pp. 79-89. Reprinted by courtesy of the Editor of the Aristotelian Society: (c) 1983
      117. ‘Evolutionary v. evolved ethics’ [pdf]Philosophy 58, 1983, pp. 289-302.
      118. ‘Proof and paradox’ [pdf]Dialectica 36, 1982, pp. 265-296.
      119. ‘Is this a proof I see before me?’ [pdf]Analysis 41, 1981, pp. 115-119.
      120. ‘Formal games and forms for games’ [pdf]Linguistics and Philosophy 4, 1981, pp. 311-320.
      121. ‘From logic to philosophies’ [pdf]British Journal for Philosophy of Science 32, 1981, pp. 287-301.
      122. ‘Causal models and logical inference’ (with I.E. Thompson), British Journal of Psychiatry 137, 1980, pp. 579-582.’ [pdf]
      123. ‘A Proof-theoretic approach to entailment’ [pdf]Journal of Philosophical Logic 9, 1980, pp. 185-209.
      124. ‘On [the existential quantifier] and [Hilbert’s epsilon operator]’ [pdf]Analysis 40, 1980, pp. 5-7.
      125. ‘La barre de Sheffer dans la logique des sequents et des syllogismes’ [pdf]Logique et Analyse 88, 1979, pp. 503-514.
      126. ‘Language games and intuitionism’ [pdf]Synthese 42, 1979, pp. 297-314.
      127. ‘Entailment and Proofs’ [pdf]Proceedings of the Aristotelian Society LXXIX, 1979, pp. 167-189.
      128. ‘Continuity and identity’ [pdf]Journal of Philosophical Logic 6, 1977, pp. 223-231.
      129. ‘Recursive semantics for knowledge and belief’ [pdf]The Monist 60, 1977, pp. 419-430.
      130. ‘Truth, meaning and decidability’ [pdf]Mind 86, 1977, pp. 368-387.
      131. ‘Sortal quantification’ [pdf], (with J.E.J. Altham) in E.L. Keenan (ed), Formal Semantics for Natural Language, Cambridge University Press, 1975, pp. 46-58.
      132. ‘Natural deduction for first order logic with identity, descriptions and restricted quantification’ [pdf], in Contributed Papers of the 5th International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, 1975, pp. I 51-2.


      • Editorial in Philosophia Mathematica, for Special Issue Carnap and Some Contemporaries, (III) 16, 2008, pp. 1-3
      • Editorial on computational logic, Journal of Logic and Computation, Vol.1, No.4, 1990


      • ‘Against Kripke’s skeptic’, abstract in Journal of Symbolic Logic 54, 1989, p 685
      • ‘Entailment, perfect validity and paraconsistency’, abstract in Journal of Symbolic Logic 49, 1984, pp. 322-3.