Here is a listing of my publications, arranged by type of publication venue.  Some of these are downloadable. (They are almost all pdf files.).  A free pdf reader can be got from here.


Books, Anthologies, Edited Special Issues of journals:


1.    Editor of Special Issue of Synthese ("On Mass Terms ") (Synthese v. 31, Nos. 3/4) 1975.

2.    C. Jarrett, C. Normore & F.J. Pelletier (eds.) (1977) New Essays in Rationalism and Empiricism.  Canadian Association for Publishing in Philosophy.

3.    F.J. Pelletier (ed.) (1979) Mass Terms:  Some Philosophical Problems  Reidel: Dordrecht.

4.    C. Normore & F.J. Pelletier (eds.) (1980) New Essays in Philosophy of Language Canadian Association for Publishing in Philosophy.

5.       J. King-Farlow & F.J. Pelletier (eds.) (1983) New Essays on Plato Canadian Association for Publishing in Philosophy.

6.       J. King-Farlow & F.J. Pelletier (eds.) (1984) New Essays on Aristotle Canadian Association for Publishing in Philosophy.

7.    F.J. Pelletier (1990) Parmenides, Plato, and the Semantics of Not-Being. Chicago: University of Chicago Press.

8.    G.N. Carlson & F.J. Pelletier (eds.) (1995) The Generic Book Chicago: University of Chicago Press.

9.    X. Arrazola, K. Korta, F.J. Pelletier (eds.) (1997) Discourse, Interaction, and Communication (Kluwer Academic Press).

10.    G.N. Carlson, F.J. Pelletier, R. Thomason (eds.) (2002) Special 25th Anniversary Issue of Linguistics and Philosophy v. 25 nos. 5-6.

11.    G.N. Carlson & F.J. Pelletier (eds.) (2005) Reference and Quantification: The Partee Effect (CSLI Publishers).

12.    F.J. Pelletier (2009) Kinds, Things and Stuff (Oxford UP).




Refereed Journal Articles:


1.    F.J. Pelletier (1972) "Restricted Quantification and Sortal Quantification" Phil. Studies 23: pp. 400-404.

2.    F.J. Pelletier (1974) "On Some Proposals for the Semantics of Mass Terms" Jour. Phil. Logic pp. 87-108.

3.    F.J. Pelletier (1975) "Non-Singular Reference:  Some Preliminaries" Philosophia 5: 451-465.

       (Reprinted in Pelletier Mass Terms 1979: pp. 1-14).

4.    F.J. Pelletier (1975) "A Bibliography of Recent Work on Mass Terms" Synthese 31: 523-526.

       (Updated and reprinted in Pelletier Mass Terms 1979: pp. 295-298). [See the later bibliography in Pelletier/Schubert “Mass Expressions”, #1 under “articles in handbooks, dictionaries” below]

5.    F.J. Pelletier (1975) "On Reading 'Incompatibility' in Plato's Sophist" Dialogue  pp. 143-146. [scanned]

6.    J. King-Farlow & F.J. Pelletier (1977) "Pains Across Persons Across Possible Worlds" Idealistic Studies pp. 61-75.

7.    J. King-Farlow & F.J. Pelletier (1975) "Russell on Relations" Southern Journal of Philosophy 359-367.

8.    F.J. Pelletier (1977) "Or" Theoretical Linguistics pp. 61-74. [scanned, large file]

       (Translated into Russian and published in I. Popov (ed) (1986) New Directions in Linguistics from Abroad (Progress Publishers: Moscow) pp. 318-335.  An English table of contents from this collection is here.)

9.    C.Morgan & F.J. Pelletier (1977) "Some Notes Concerning Fuzzy Logics” Linguistics and Philosophy pp. 79-97.

10. F.J. Pelletier (1977) "Locke's Doctrine of Substance" Canadian Journal of Philosophy, Sup. Vol.  pp. 121-140.  (scanned)

11. F.J. Pelletier (1979) "Aristotle on Sameness and Referential Opacity" Nous  pp. 283-311. Errata.

12. F.J. Pelletier (1980) "The Generative Power of Rule Orderings in Formal Grammars" Linguistics pp. 17-72. [scanned: large file]

13. F.J. Pelletier (1981) "The Structure of the Subjective Lexicon" in B. Rieger (ed.) Empirical Semantics (Brockmeyer: Bochum) pp. 569-621. [scanned, large file]

14. L.K. Schubert & F.J. Pelletier (1982) "From English to Logic:  Context-Free Computation of 'Conventional' Logic Translations" American Jour. Computational  Linguistics 8: pp. 26-44. [now Computational Linguistics]  (Reprinted, with corrections, in B. Grosz, K. Spark-Jones, B. Webber Readings in Natural Language Processing  (Morgan Kaufmann Pub. Co.:  Los Gatos, Cal) 1986: 293-311.)

15. F.J. Pelletier (1982) "(X)" Notre Dame Journal of Formal Logic pp. 316-326.

16. F.J. Pelletier (1983) "Plato on Not-Being" Midwest Studies in Philosophy pp. 35-65. [scanned: large file]

17. F.J. Pelletier (1985) "Scope Ambiguity with Quantifiers and Tense Operators" Linguistic Inquiry, pp. 330-334.

18.  F.J. Pelletier (1985) "The Not-So-Strange Modal Logic of Indeterminacy" Logique et Analyse, pp. 415-422. [scanned: large file]

19. F.J. Pelletier (1985) "Six Problems in Translational Equivalence" Logique et Analyse, pp. 423-434. [scanned: large file]

20. Romanycia, M. & F.J. Pelletier (1985) "What is a Heuristic?" Computational Intelligence  1: 47-58.

21. F.J. Pelletier (1986) "Seventy-Five Graduated Problems for Testing Automatic Theorem Provers" Jour. Automated Reasoning 2: pp. 191-216.

22.  F.J. Pelletier (1988) "Errata for 75 Problems" Journal of Automated Reasoning 4: 235-236.

23. F.J. Pelletier & W.D. Sharp (1988) "On Teaching Functional Incompleteness in Symbolic Logic Classes" Notre Dame Journal of Formal Logic pp. 235-248.

24. F.J. Pelletier (1988) "The Good, The Bad, and the Ugly".  Translated into Hungarian, published in Tertium non Datur, 5: 89-115.  [This paper (in English) was presented at a joint Assn. Symbolic Logic/ Linguistic Society of America meeting in Stanford 1987(?).  It was translated into Hungarian by Pólos Lászlo for publication in Tertium non Datur. I am very grateful to Lászlo for this. Portions of it were adapted for #18 above and for #26 below.   The English version online now is a pdf generated from the original MacWrite document(!).  The Hungarian version is scanned from the old journal.]

25. F.J. Pelletier (1988) "Vacuous Relatives and the (Non-) Context-Freeness of English" Linguistics and Philosophy  pp. 255-260.

26. F.J. Pelletier (1989) "Another Argument against Vague Objects" Journal of Philosophy 86: 481-492.

27. F.J. Pelletier & N. Martin (1990) "Proving Post's Functional Completeness Theorem" Notre Dame Journal of Formal Logic pp. 462-475.

28. F.J. Pelletier (1991) "The Society for Exact Philosophy" Ruch Filozoficzny  (Poland) pp. 107-118.

29.  F.J. Pelletier (1993) "Identity in Automated Modal Logic Theorem Proving" Studia Logica 52: 291-308.

30. F.J. Pelletier (1994) "Fuzzy Logic: A Misplaced Appeal" IEEE Expert  August 1994, 29-31. [download includes Elkan plus commentaries plus replies]

31. F.J. Pelletier (1994) "The Principle of Semantic Compositionality" Topoi 13: 11-24.

         (Reprinted with additions in S.Davis & B. Gillon (eds.) 2004 Semantics: A Reader Oxford UP, pp.133-156)

32.  F.J. Pelletier & R. Elio (1997) "What Should Default Reasoning Be, By Default?" Computational Intelligence  17: 165-187.

33. R.Elio & F.J. Pelletier (1997) "Belief Revision as Propositional Update" Cognitive Science 21: 419-460. (Reprinted in J. Adler & L. Rips (eds.) 2008 Reasoning: Studies of Human Inference and Its Foundations. Cambridge UP), pp. 566-596.

34.  F.J. Pelletier & G. Sutcliffe (1997) "Erratum to some Errata to Automated Theorem Proving Problems" Journal of Automated Reasoning 18, p. 135.

35.  F.J.Pelletier, G.Sutcliffe & C.Suttner (1997) "Conclusions about the CADe-13 Automated Theorem Proving Contests" Jour. Automated Reasoning 18: 287-296.

36.     F.J.Pelletier (1998) "Natural Deduction Theorem Proving in THINKER" Studia Logica 60: 3-43. (The Appendix, with generated proofs, is in a separate Appendix).

37. A. Kazmi & F.J. Pelletier (1998) "Is Compositionality Formally Vacuous?" Linguistics and Philosophy v. 21, pp. 629-633.

38. J. Delgrande & F.J. Pelletier (1998) "Formal Senses of Relevance in Default Reasoning" Erkenntnis 49: 137-173.

39. F.J. Pelletier (1999) "A Brief History of Natural Deduction" History and Philosophy of Logic v.20, pp. 1-31.  

40. F.J. Pelletier (2000) "Goldman on Rationality" Social Epistemology 14: 239-245.

41. F.J. Pelletier & E. Zalta (2000) "How to Say Goodbye to the Third Man" Noěs 34: 165-202.

42.    F.J. Pelletier (2001) "Did Frege Believe Frege's Principle? " Journal of Logic, Language, and Information 10: 87-114.

This paper was shortened in various ways, including the removal of a number of quotations from authors who described their views on Frege’s Principle, so-called.  An earlier version of the paper (which can be cited as “2000”) that includes those quotations is available here.  (But it also includes other things that are changed for the better in the published version).

43.    F.J. Pelletier & G.N. Carlson (2002) "The Average American has 2.3 Children" Journal of Semantics 19: 73-104.

44.     F.J. Pelletier & R. Thomason (2002) "Twenty-Five Years of Linguistics and Philosophy" Linguistics and Philosophy 25: 507-529.

45.     G. Sutcliffe, C. Suttner, F.J. Pelletier (2002) "The IJCAR ATP System Competition" Journal of Automated Reasoning 28: 307-320.

46.     F.J. Pelletier, G. Sutcliffe, C. Suttner (2002) "The Development of CASC" AI Communications 15: 79-90.

47.    F.J. Pelletier (2003) "Context Dependence and Compositionality" Mind and Language 18: 148-161.

48.    F.J. Pelletier & A. Urquhart (2003) "Synonymous Logics" Journal of Philosophical Logic 32: 259-285.

49.    F.J. Pelletier & R. Stainton (2003) "On 'The Denial of Bivalence is Absurd'" Australasian Journal of Philosophy 81: 369-382.

50.    F.J. Pelletier & R. Elio (2005) "The Case for Psychologism in Default and Inheritance Reasoning" Synthese 46: 7-35.

51.    F.J. Pelletier (2004) "On Some Alleged Misconceptions Concerning Fuzzy Logic" Artificial Intelligence Review 22: 71-82.

52.    F.J. Pelletier & A. Hartline (2008) "Ternary Exclusive Or" Logic Journal of the International Group on Pure and Applied Logic 16: 75-83  (Advance access published July 25, 2007)

53.    F.J. Pelletier, R. Elio, P. Hanson (2008) "Is Logic all in our Heads? From Naturalism to Psychologism" Studia Logica 88: 3-66.

54.    F.J. Pelletier & A. Urquhart (2008) "Synonymous Logics: A Correction" Journal of Philosophical Logic 37: 95-100.

55.    J. Delgrande, Yi Jin, & F.J. Pelletier (2008) “Compositional Belief Update” Journal of Artificial Intelligence Research 32: 757-792.

56.    S. Alxatib & F.J. Pelletier (2011) “The Psychology of Vagueness: Borderline Cases and Contradictions” Mind & Language 26: 287-326.

57.    F.J. Pelletier (forthcoming) “Descriptive Metaphysics, Natural Language Metaphysics, Sapir-Whorf, and All That Stuff: Evidence from the Mass-Count Distinction” Baltic Yearbook of Philosophy.



Refereed Articles in Anthologies:


1.    F.J. Pelletier (1979) "Sharvy on Mass Predication" in Pelletier Mass Terms pp. 55-61.

2.    F.J. Pelletier & D. Wilson (1983) "Heuristic Theorem Proving" in W. Maxwell (ed.) Thinking:  The Expanding Frontier Franklin Press:  Philadelphia pp. 237-250. [scanned, large file]

3.    L.K. Schubert & F.J. Pelletier (1987) "Problems in Representing the Logical Form of Generics, Bare Plurals, and Mass Terms" in E. Lepore (ed) New Directions in Semantics Academic Press, pp. 387-453.

4.    L.K. Schubert & F.J. Pelletier (1989) "Generically Speaking, Or, Using Discourse Representation Theory to Interpret Generics" in G. Chierchia, B. Partee, R. Turner (eds) Property Theory, Type Theory, and Semantics, Vol. II Kluwer pp. 193-268.  [scanned: very large file]

5.    F.J. Pelletier (1993) “Remarks on Internal and External Semantics” in J.Macnamara & G.Reyes (eds) The Logical Foundations of Cognition (Oxford UP), pp. 283-295.

6.    F.J. Pelletier (1994) "Semantic Compositionality: The Argument from Synonymy" in R.Casati, B.Smith, G.White (eds) Philosophy and the Cognitive Sciences (Vienna: Hölder-Pichler-Tempsky) pp. 208-214.

7.    F.J. Pelletier (1994) "On an Argument Against Semantic Compositionality" in D.Prawiz & D. WesterstĆhl (eds) Logic and Philosophy of Science in Uppsala (Kluwer Pubs) pp. 599-610.

8.    M.Krifka, F.J. Pelletier, G.Carlson, A. ter Meulen, G.Chierchia & G.Link (1995) "Genericity: An Introduction" in Carlson & Pelletier (eds) The Generic Book pp. 1-124.

9.    M. Krifka & F.J. Pelletier (1995) "Generics: A Comprehensive Bibliography" in Carlson & Pelletier (eds) The Generic Book pp. 427-449.

10. R. Elio & F.J. Pelletier (1999) "An Analysis of Belief Update Theories" in J.Wiles & T.Dartnell (Eds) Perspectives on Cognitive Science (Stamford,CT:Ablex Pubs) pp. 131-148.

11.  F.J. Pelletier (1997) "Thinking of 'Not'" in Arrazola, Korta, Pelletier (eds.) Discourse, Interaction, and Communication. pp. 37-53.

12. F.J. Pelletier (2000) "Semantic Compositionality: The Argument from Ambiguity and Free Algebras" in M. Faller, S. Kaufmann, M. Pauly   Formalizing the Dynamics of Information (Stanford: CSLI), pp. 207-218.

13. F.J. Pelletier (2000) "A History of Natural Deduction and Elementary Logic Textbooks" in J. Woods, B. Brown (eds) Logical Consequence: Rival Approaches, Vol. 1. (Oxford: Hermes Science Pubs) pp. 105-138.

14. F.J. Pelletier & R.E. Elio (2002) "Logic and Cognition" in P. Gärdenfors, J. Wolenski, K. Kijania-Placet (Eds.) In the Scope of Logic, Methodology, and Philosophy of Science, Vol. 1 (Dordrecht: Kluwer) in Synthese Library #315. pp. 137-156.

15.  F.J. Pelletier & A. Hartline (2006) "On a Homework Problem of Larry Horn's" Birner, B., and G. Ward, eds.  Drawing the Boundaries of Meaning: Neo-Gricean Studies in Pragmatics and Semantics in Honor of Laurence R.  Horn.  (Philadelphia: John Benjamins).  Pp. 281-294.

16.    F.J. Pelletier & B. Linsky (2005) "What is Frege's Theory of Descriptions? " in B. Linsky & G. Imaguire (eds)  On Denoting: 1905-2005 Philosophia Verlag. Pp. 195-250.

17.    P. Pagin & F.J. Pelletier (2007) "Content, Context and Composition" in G. Preyer & G. Peter (eds) Context-Sensitivity and Semantic Minimalism: Essays on Semantics and Pragmatics (Oxford UP) pp. 25-62.

18.    F.J. Pelletier & B. Linsky (2008) "Russell's Criticisms of Frege's Theory of Descriptions" in N. Griffin & D. Jacquette One Hundred Years After On Denoting: Russell vs. Meinong (Cambridge: Cambridge UP), pp. 40-64.

19.    E. Lepore & F.J. Pelletier (2008) “Linguistics and Philosophy“ in C. Wrenn Nauralism, Reference, and Ontology: Essays in Honor of Roger F. Gibson (Peter Lang Pubs.), pp. 183-215.

20.    F.J. Pelletier (2009) “A Philosophical Introduction to Generics” in F.J. Pelletier (ed) Kinds, Things and Stuff (Oxford UP) pp. 3-15.

21.    F.J. Pelletier (2009) “A Philosophical Introduction to Mass Nouns” in F.J. Pelletier (ed) Kinds, Things and Stuff (Oxford UP) pp. 123-131.

22.    F.J. Pelletier (2009) “Are All Generics Created Equal?” in F.J. Pelletier (ed) Kinds, Things and Stuff (Oxford UP) pp. 60-79.

23.    F.J. Pelletier (forthcoming) “Lexical Nouns are Neither Mass nor Count, but they are Both Mass and Count” in D. Massam (ed.) A Cross-Linguistic Exploration of the Count-Mass Distinction (Oxford UP)




Articles in Handbooks, Encyclopedias, Dictionaries:


1.       F.J. Pelletier & L.K. Schubert (1989) "Mass Expressions" in D. Gabbay & F. Guenthner (eds) Handbook of Philosophical Logic, Vol. 4 (Dordrecht: Reidel) 1989: 327-407. 

                 [Expanded version reprinted in second edition [2003] of this Handbook, volume 10, pp. 265-350]

2.        F.J. Pelletier (1991) "Mass Terms" in B. Smith/J. Burkhardt (eds) Handbook of Metaphysics and Ontology (Philosophia Press: Munich) pp. 495-499

3.       F.J. Pelletier & I. Berkeley (1995) "Vagueness" in R. Audi (ed.) Cambridge Dictionary of Philosophy (Cambridge UP), pp. 825-827.

4.       F.J. Pelletier & N. Asher (1997) "Generics and Defaults" in J. van Benthem & A. ter Meulen (eds) Handbook of Logic and Language (Amsterdam: North Holland) pp. 1125-1177.  (scanned: large file)

5.       F.J. Pelletier (1998) "Mass Terms" in The Routledge Encyclopedia of Philosophy. (1700 word entry).

6.       F.J. Pelletier (2000) "Relation of Computer Science to Other Disciplines" 1500 words. Portion of “Computer Science” entry in the new, revised version of Canadian Encyclopedia.  Main entry by Jonathan Schaeffer .

7.       F.J. Pelletier (2006) "Generics" for D. Borchert (ed.) Encyclopedia of Philosophy, 2nd Ed. (Macmillan).

8.       F.J. Pelletier (2006) "Compositionality, philosophical aspects of" in K. Brown Encyclopedia of Language and Linguistics (Elsevier Press).  Vol. 2, pp. 712-716.

9.       F.J. Pelletier (forthcoming) “Holism and Compositionality” in W. Hinzen, E. Machery, M. Werning The Oxford Handbook of Compositionality (Oxford UP).

10.    F.J. Pelletier & A. Hazen (2012 forthcoming) “Natural Deduction” in Dov Gabbay & John Woods Handbook of the History of Logic; Vol. 11 “Central Concepts”.

11.    F.J. Pelletier (forthcoming) “Annotated Bibliography on ‘Compositionality’”, for Oxford Bibliographies Online.



Articles in Proceedings of Refereed Conferences:


1.     F.J. Pelletier and L.K. Schubert (1984) "Two theories for computing the logical form of mass expressions", Proc. of the 10th Int. Conf. On Computational Linguistics (COLING-84), July 2-6, Stanford Univ., Stanford, CA, pp.  108-111.

2.       L.K. Schubert & F.J. Pelletier (1987) "An Outlook on Generic Statements" in M. Krifka (ed) Proceedings of the Tübingen Conference on Generics SNS-Bericht 88-42, Universität Tübingen, pp. 357-371.

3.       F.J. Pelletier (1991) "The Philosophy of Automated Theorem Proving" Proceedings of IJCAI-91, Vol. II (Morgan-Kaufmann) pp.1039-1045.

4.       A. Edgar & F.J. Pelletier (1993) "Natural Language Explanations of Natural Deduction Proofs" Proceedings of First Pacific Rim Conference on Computational Linguistics (Vancouver) pp. 269-278.

5.       F.J. Pelletier & R. Elio (1993) "Human Benchmarks on AI's Benchmark Problems" Proceedings of the 15th Congress of the Cognitive Science Society (Boulder, Co.) pp. 406-411. [scanned]

6.       F.J. Pelletier & R. Elio (1994) "The Effect of Syntactic Form on Simple Belief Revision and Updates" Proceedings of the 16th Cognitive Science Society pp. 260-266. [scanned]

7.       R.Elio & F.J.Pelletier (1996) "On Reasoning with Default Rules and Exceptions" in G.Cottrell (Ed) Proceedings of the 18th Annual Conference on Cognitive Science (Lawrence Erlbaum: Hillsdale, NJ) pp. 131-136.

8.       F.J. Pelletier & G.N. Carlson (2000) "Average Noun Phrases" in Proceedings of SALT 10. pp. 17-26.  [See published version: #43 under "Articles" above]

9.       F.J. Pelletier & R. Elio "Enumerating the Preconditions of Agent Message Types" in Y. Xiang & C. Brahim (eds.) Advances in Artificial Intelligence: Proceeedings of the 16th Conference of CSCSI. (Springer Verlag). pp. 50-65.

10.    C. Lepock & F.J. Pelletier (2005) "Fregean Analytic Tableaux: Automating Inferences in Fuzzy Propositional Logic" In Short Papers From the Twelfth International Conference on Logic in Programming, Artificial Intelligence and Reasoning (LPAR-12), pp. 43-48. (Montego Bay, Dec. 2005)

11.    J. Delgrande, F.J. Pelletier, M. Suderman (2007) "Compositional Belief Update" Proceedings of FLAIRS-20 (Key West, May) pp. 68-73. [See published version: #55 under "Articles" above]

12.    S. Alxatib & F.J. Pelletier (2011) “On the Psychology of Truth-Gaps” in U. Sauerland, H-C Schmitz, R. van Rooij (eds) Vagueness in Communication. LNAI 6517.  Springer-Verlag: Berlin.  Pp. 13-36. [see the more fully-developed published version under “Journal publications”, #56]





Review Essays:


1.       F.J. Pelletier (1973) "Copi's Theory of Logical Types" Journal of Symbolic Logic pp. 174-177.

2.       F.J. Pelletier (1977) "({How/Why}) Does Linguistics Matter to Philosophy?" Southern Jour. Philosophy 15 393-426.

3.       F.J. Pelletier (1978) "Formal Philosophy" Metaphilosophy  pp. 320-341.



Short Reviews:


1.       F.J. Pelletier (1973) Review of Purtill:  Logic for Philosophers:  Dialogue pp. 171-174. [A very cranky review.  Scanned.]

2.       W. Cooper & F.J. Pelletier (1975) Review of Campbell: Body and Mind; Dialogue pp. 354-356. [scanned]

3.       F.J. Pelletier (1983) Review of McCawley:  What Every Linguist Has Always Wanted to Know About Logic; Canadian Philosophical Reviews pp. 85-87.

4.       L. Schubert & F.J. Pelletier (1988) Review of Turner: Logics for Artificial Intelligence; Canadian AI Magazine pp. 36-37.

5.       F.J. Pelletier & L. Schubert (1991) Review of Turner: Logics for Artificial Intelligence; Journal of Symbolic Logic. v. 56, pp. 399-400.

6.       F.J. Pelletier (1992) Review of Lowe: Kinds of Being; Journal of History and Philosophy of Logic 13: 125-128.  [this also contains the other short reviews from that issue]

7.       F.J. Pelletier (1996) Review of Ramsay: Formal Methods in Artificial Intelligence; Journal of Symbolic Logic 61: 347-351.

8.       F.J. Pelletier (1998) Review of T. Moody Philosophy of Artificial Intelligence for Minds and Machines 6: 266-273.

9.       F.J. Pelletier (1999) "Review of van Deemter & Peters Ambiguity and Underspecification” in Reviews in Philosophy v. 28, pp. 305-309.

10.     F.J. Pelletier (2000) Review of Petr Hájek The Metamathematics of Fuzzy Logic in Bulletin of Symbolic Logic 6: 342-346.

11.    G.N. Carlson & F.J. Pelletier (2000) "Review of Murasugi & Stainton Philosophy and Lingusitics" for Dialogue 39: 605-608.

12.    F.J. Pelletier (2006) Review of G. Priest, J.C. Beall, B. Armour-Garb (eds.) The Law of Non-Contradiction in Bulletin of Symbolic Logic. Pp. 131-134.

13.    F.J. Pelletier (2006) "Review of Blackburn and Bos Representation and Inference for Natural Language" in Computational Linguistics 32: 283-286.

14.    F.J. Pelletier (2006) "Review of Fox and Lappin Foundations of Intensional Semantics" in Computational Linguistics 32: 291.



Workshops and Newsletters:


1.       F.J. Pelletier (1986) "thinker" in J. Siekmann (ed) Proceedings of the 8th International Conference on Automated Deduction (Berlin: Springer Verlag) pp. 701-702.

2.       F.J. Pelletier & P. Rudnicki (1986) "Non-Obviousness" Newsletter of the Association for Automated Reasoning, No. 6 p. 4-5. [this download is entire 6-page newsletter]

3.       F.J. Pelletier (1992) "How Semantic Tableaux Methods Separate Classical and Modal Rules" Working Notes for AAAI Fall Symposium, Asilomar.

4.       F.J. Pelletier (1993) "Semantic Tableaux for Systems including the B(rowerische) and G(each) Axioms" Working Notes for AAAI Fall Symposium, Research Triangle. [scanned]

5.       F.J. Pelletier & R. Elio (1994) "On Relevance in Nonmonotonic Reasoning: Some Empirical Studies", in R. Greiner & D. Subramanian (eds) Relevance: AAAI 1994 Fall Symposium Series, (Palo Alto: AAAI Press) pp. 64-67. [See material in published versions: ##32, 33 under "Articles" above]

6.       J. Delgrande & F.J. Pelletier (1994) "A Formal Approach to Relevance", in R. Greiner & D. Subramanian (eds) Relevance: AAAI 1994 Fall Symposium Series, (Palo Alto: AAAI Press) pp. 30-33. [See published version: #38 under "Articles" above]

7.       F.J. Pelletier & G. Sutcliffe (1995) "The Story Behind An Erratum to some Errata to Automated Theorem Proving Problems" Newsletter of the Association for Automated Reasoning. #31: 8-14.  [this download is entire 16-page newsletter]

8.       X. Huang, J. Pelletier, F. Pfenning & J. Siekmann (eds.) First International Workshop in Proof Transformation and Presentation April 1997, Dagstuhl, Germany.

9.       F.J. Pelletier & G. Sutcliffe (2001) "CASC: Effective Evaluation having an Effect" in Holger Hoos & Thomas Stützle (eds.) Proceedings of the IJCAI Workshop in Empirical Methods in Artificial Intelligence (Seattle, Aug. 2001) pp. 33-40.



Technical Reports:


1.       F.J. Pelletier (1982) Completely Non-Clausal, Completely Heuristically Driven Automatic Theorem Proving.  Technical Report TR82-7, Dept. of Computing Science, Univ. of Alberta, (xiii+285).

2.       F.J. Pelletier (1987) Further Developments in thinker, an Automated Theorem Prover , Technical Report TR-ARP-16/87, Automated Reasoning Project, Australia National Univ., (ii+57).

3.       L.K. Schubert & F.J. Pelletier (1987) Three Papers on the Logical Form of Generics, Habituals, and Mass Terms, (co-author: L.K. Schubert) Technical Report TR87-3, Dept. of Computing Science, Univ. of Alberta,  (iv+235). [The three papers are: #1 under "Handbooks" and ##3,4 under "Anthologies"]

4.       F.J. Pelletier & D. Szafron (1989) "Some Notes on Prolog Technology Theorem Proving" Univ. Alberta Dept. Computing Science Tech Report TR89-10.

5.       F.J. Pelletier & R. Elio (1993) Some Truths about Default Reasoning. Technical Report TR93-12, Dept. Computing Science, Univ. Alberta, (iv+68).  [Much of this can be found in #50 under "Articles" above]

6.       F.J. Pelletier (1993) Modal Logic Theorem Proving in thinker, Technical Report TR93-14, Dept. Computing Science, Univ. Alberta, (iii+63). [Some of this is in ##36,29 under "Articles", but the majority of it is unpublished material about translation methods in modal logic]

7.       F.J. Pelletier & R. Elio (1994) What Should Default Reasoning be, By Default? Technical Report TR94-13, Dept. Computing Science, Univ. Alberta, (iii+24). [Much of this material was published in #32 and some in #50 under "Articles" above]

8.       G. Sutcliffe, C. Suttner, F.J. Pelletier (2001) "The IJCAR ATP System Competition: All the details" Univ. Miami technical report UM-CSC-2001-001. (pdf.gz)