The inapplicability of the dictionary - Encyclopedia distinction to the semantics of natural languages. - Raymond D. Gumb (Inf. Storage Retr., 1971)

A Mechanized Proof Procedure for Free Intensional Logics. - Raymond D. Gumb (IJCAI, 1977)

Language extensibility in extended Fortran: data types and pointer variables. - Raymond D. Gumb (ACM SIGCSE Bull., 1977)

The Completeness of Presupposition-Free Tense Logic. - Robert F. Barnes; Raymond D. Gumb (Math. Log. Q., 1979)

An extended joint consistency theorem for free logic with equality. - Raymond D. Gumb (Notre Dame J. Formal Log., 1979)

Reasonable breadth-biased: A algorithms. - Raymond D. Gumb (SIGART Newsl., 1981)

First Order Properties of Relations with the Monotonic Closure Property. - George Weaver; Raymond D. Gumb (Math. Log. Q., 1982)

On the underlying logics of specification languages. - Raymond D. Gumb (ACM SIGSOFT Softw. Eng. Notes, 1982)

An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality. - Raymond D. Gumb (J. Symb. Log., 1984)

Popperian conditional probability functions for expert systems (abstract). - Raymond D. Gumb (ACM Conference on Computer Science, 1986)

Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning. - Raymond D. Gumb (AAAI, 1987)

Programming logics - an introduction to verification and semantics. - Raymond D. Gumb (Wiley, 1989)

Free logic is a natural logic. - Raymond D. Gumb (ACM Conference on Computer Science, 1989)

A first course in program verification and the semantics of programming languages. - Raymond D. Gumb (SIGCSE, 1989)

Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions. - Raymond D. Gumb (TABLEAUX, 2000)

An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. - Raymond D. Gumb (Stud Logica, 2001)

The Lazy Logic of Partial Terms. - Raymond D. Gumb (J. Symb. Log., 2002)