Raymond D. Gumb

Publication Activity (10 Years)

Years Active: 1971-2002
Publications (10 Years): 0

Publications

Raymond D. Gumb
The Lazy Logic of Partial Terms. J. Symb. Log. 67 (3) (2002)
Raymond D. Gumb
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Stud Logica 69 (2) (2001)
Raymond D. Gumb
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions. TABLEAUX (2000)
Raymond D. Gumb
Free logic is a natural logic. ACM Conference on Computer Science (1989)
Raymond D. Gumb
A first course in program verification and the semantics of programming languages. SIGCSE (1989)
Raymond D. Gumb
Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning. AAAI (1987)
Raymond D. Gumb
Popperian conditional probability functions for expert systems (abstract). ACM Conference on Computer Science (1986)
Raymond D. Gumb
An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality. J. Symb. Log. 49 (1) (1984)
George Weaver, Raymond D. Gumb
First Order Properties of Relations with the Monotonic Closure Property. Math. Log. Q. 28 (1-3) (1982)
Raymond D. Gumb
On the underlying logics of specification languages. ACM SIGSOFT Softw. Eng. Notes 7 (4) (1982)
Raymond D. Gumb
Reasonable breadth-biased: A algorithms. SIGART Newsl. 78 (1981)
Raymond D. Gumb
An extended joint consistency theorem for free logic with equality. Notre Dame J. Formal Log. 20 (2) (1979)
Robert F. Barnes, Raymond D. Gumb
The Completeness of Presupposition-Free Tense Logic. Math. Log. Q. 25 (13-18) (1979)
Raymond D. Gumb
Language extensibility in extended Fortran: data types and pointer variables. ACM SIGCSE Bull. 9 (4) (1977)
Raymond D. Gumb
A Mechanized Proof Procedure for Free Intensional Logics. IJCAI (1977)
Raymond D. Gumb
The inapplicability of the dictionary - Encyclopedia distinction to the semantics of natural languages. Inf. Storage Retr. 6 (6) (1971)