Publications of Raymond D. Gumb



Rule-Governed Linguistic Behavior.  The Hague: Mouton, 1972.
    ReviewsLinguistics, 160 (1975), 117-9;  Mind, 85 (1976), 467-470; and Cognition and Brain Theory
                  Newsletter, 3 (1980), 114-5.

Evolving Theories.  New York:  Haven, 1979.
    Review: Journal of Symbolic Logic ( JSL), 47 (1982), 454-6.

Essays in Epistemology and Semantics ( EES), edited with Hugues Leblanc. New York: Haven, 1983.

Programming Logics: An Introduction to Verification and Semantics (PL). New York: John Wiley and Sons,  Inc., 1989.
    ReviewsComputing Reviews, 1990, 9008-0639, Mathematical Reviews, 1991, 91c:68085;
                                     and Science of Computer Programming, 13 (1990),  266-7.

Back to Top


The Inapplicability of the Dictionary-Encyclopedia Distinction to the Semantics of Natural
Languages, Information Storage and Retrieval, 6 (1971), 445-452.

Language Extensibility in Extended FORTRAN: Data Types and Pointer Variables, ACM
SIGCSE Bulletin, 9 (1977), 53-4.

A Mechanized Proof Procedure for Free Intensional Logics, Proceedings of the 5th
International Joint Conference on Artificial Intelligence, 1977, v. 1, 567.

Logical Techniques for Pinpointing Inconsistencies in the Knowledge Base, written with Mary Ann Gumb,
Proceedings of the 41st Annual Conference of the American Society for Information Science, 1978, 150-1.

Metaphor Theory, Reports on Mathematical Logic, 10 (1978), 51-60.

The Completeness of Presupposition-Free Tense Logic, written with Robert F. Barnes, Zeitschrift für
Mathematische Logik und Grundlagen der Mathematik ( ZMLGM), 25 (1979), 193-208. Abstract in JSL,
42 (1977), 146-7.

An Extended Joint Consistency Theorem for Free Logic with Equality, Notre Dame Journal of Formal Logic,
20 (1979), 321- 335. Abstract in JSL, 42 (1977), 146.

An Explication of the Notion of a Consistent Evolving Theory, Logique et Analyse, 24 (1981), 113-127.

Reasonable Breadth-Biased A* Algorithms, ACM SIGART Newsletter ( SIGART), 73 (1981), 12-3.

First-Order Properties of Relations with the Monotonic Closure Property, written with George Weaver,
ZMLGM, 28 (1982), 1-5. Abstracts in JSL, 46 (1981), 682-3, and in Proceedings of the 1978 ACM
Computer Science Conference ( ACMCSC), 19.

On the Underlying Logics of Specification Languages, ACM Software Engineering Notes, 4 (1982), 21-3.

Soundness and Completeness Proofs for Three Brands of Intuitionistic Logic, written with Hugues Leblanc,
EES, 1983, 163-197. Abstract in JSL, 46 (1981), 201-2.

Comments on Probabilistic Semantics, EES, 1983, 72-8.

The Craig-Lyndon Interpolation Lemma for (Free) Intuitionistic Logic with Equality, EES, 1983, 210-5.
Abstract in Proceedings of the 6th International Congress of Logic, Methodology and Philosophy of
Science, 1979, sec. 1-4, 31-5.

A Translation of (Free) Intuitionistic Logic with Equality into Free S4 with Equality and Increasing Domains,
EES, 1983, 215-220. Abstract in JSL, 48 (1983), 508-9.

An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality, JSL, 49 (1984),
174-183. Abstract in JSL, 46 (1981), 435-6.

Conservative Kripke Closures, Synthese, 60 (1984), 39-49. Reprinted in H. Leblanc et al., eds.,
Foundations: Logic, Language, and Mathematics, Dordrecht, Reidel, 1984.

Free Intuitionistic Logic and its S4 Counterpart, Logique et Analyse (Special issue
Automated Reasoning in Nonclassical Logics, L. Fariñas and E. Orlowska, eds.), 28 (1985), 283-294.

Popperian Conditional Probability Functions for Expert Systems, Proceedings of the First New Mexico
Computer Science Conference, 1985, Socorro, NM, 1-5. Abstract in 1986 ACMCSC, 461.

Filming a Terrain Under Uncertainty Using Temporal and Probabilistic Reasoning,
Proceedings of the Sixth National Conference on Artificial Intelligence, 1987, v. 1, 116-120.
The Final Report for Sandia National Laboratories research grant 95-2931 available under the same title as CSR 172,
Computer Science Department, New Mexico Tech, Socorro, NM, August, 1986.

A First Course in Program Verification and the Semantics of Programming Languages,
Proceedings of the 1989 ACM SIGCSE Symposium, 146-150.

Free Logic in Program Specification and Verification, in E. Morscher and Alexander Hieke, eds.,  New
Directions in Free Logic: In Honour of Karel Lambert, Kluwer Academic Publishers, Dordrecht, 2001,
pp. 157-193.  (Written in 1993, derived from material in PL.)

Definitions in Nonstrict Positive Free Logic (corrected), written with Karel Lambert, Modern Logic, 7 (1997), 25-55
and 435-440 (errata). Also appeared as Stanford University Center for the Study of Language and Information
Technical Report CSLI-96-199. Abstract in Bulletin of Symbolic Logic ( BSL), 3 (1997), p. 384.

A Free Logical Foundation for Nonstrict Functions, written with Karel Lambert, Proceedings of the CADE-13
Workshop on the Mechanization of Partial Functions, 1996, 39-46.

Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions (corrected)
in Roy Dyckoff, ed., Automated Reasoning with Analytic Tableaux and Related Methods,
International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 2000
Proceedings, Springer Verlag, Lecture Notes in Artificial Intelligence, LNCS 1847, Berlin, pp. 268-278.

An Extended Joint Consistency Theorem for a  Nonconstructive Logic of Partial Terms with Definite
Descriptions (corrected), Studia Logica, 69 (2001), 279-292.

The Lazy Logic of Partial Terms, JSL, forthcoming.

Back to Top


Review of V. Jr. Rozencvejg, ed., Essays on Lexical Semantics, American Journal of Computational Linguistics
( AJCL), 1976, microfiche 51, 68-76.

Summary of Research on Computational Aspects of Evolving Theories, SIGART, 67 (1978), 13; AJCL, 1979,
microfiche 77; SISTM Quarterly, Brain Theory Newsletter, 2 (1979), 5-6.

Programs for Free Logic (abstract), JSL, 48 (1983), 903.

On a Version of the Compactness Theorem for Evolving Theories (abstract), Abstracts of Papers Presented to
the American Mathematical Society, 4 (1983), 5.

Free Logic is a Natural Logic (abstract), 1989 ACMCSC, 466.

Free Arithmetic (abstract), JSL, 59 (1994), 717-718.

A Free Theory of Types  (abstract), BSL, 1 (1995), 382.

Review of Robert W. Floyd and Richard Beigel, The language of machines. An introduction to computability and
formal languages, JSL, 61 (1996), 701-703.

Does Identity Precede Existence? (abstract), Abstracts of Papers Presented to the Twentieth World
Congress of Philosophy, 1998, p. 86.

Some Remarks on Negative Free Logic (abstract), Volume of Abstracts, 11th International Congress of
Logic, Methodology, and Philosophy of Science, 1999, p. 83.

Obituaries of Hugues Leblanc for the Society for Exact Philosophy, the Philosophy News Service, and
the Association for Symbolic Logic (BSL, 6 (2000), 230-231).

The Lazy Logic of Partial Terms (abstract), BSL, 6 (2000), 246-247.  (Preliminary version and not an abstract
for the later JSL paper by the same title.)

Review of G. Aldo Antonelli, Proto-semantics for positive free logic, BSL, 7 (2001), 531-532.

Back to Top