George Weaver

Publication Activity (10 Years)

Years Active: 1969-2005
Publications (10 Years): 0

Publications

George Weaver, Benjamin R. George
Fraenkel-Carnap properties. Math. Log. Q. 51 (3) (2005)
George Weaver
Compactness in Equational Logic. Reports Math. Log. 39 (2005)
George Weaver, Irena Penev
From finitary to infinitary second-order logic. Math. Log. Q. 51 (5) (2005)
George Weaver
The First-Order Theories of Dedekind Algebras. Stud Logica 73 (3) (2003)
George Weaver, Benjamin R. George
The Fraenkel-Carnap question for Dedekind algebras. Math. Log. Q. 49 (1) (2003)
George Weaver
Homogeneous and Universal Dedekind Algebras. Stud Logica 64 (2) (2000)
George Weaver, David Lippel
Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories. Stud Logica 60 (2) (1998)
George Weaver
Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. Stud Logica 53 (2) (1994)
George Weaver
Unifying Some Modifications of the Henkin Construction. Notre Dame J. Formal Log. 33 (3) (1992)
Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
Henkin's Completeness Proof: Forty Years Later. Notre Dame J. Formal Log. 32 (2) (1991)
George Weaver, Michael Thau, Hugues Leblanc
Extending ω-consistent sets to maximally consistent, ω-complete sets. Math. Log. Q. 36 (5) (1990)
George Weaver
-categorical theories. Stud Logica 47 (4) (1988)
George Weaver, Jeffrey Welaish
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics. J. Symb. Log. 51 (4) (1986)
George Weaver, Raymond D. Gumb
First Order Properties of Relations with the Monotonic Closure Property. Math. Log. Q. 28 (1-3) (1982)
George Weaver
A Note on the Interpolation Theorem in First Order Logic. Math. Log. Q. 28 (14-18) (1982)
George Weaver
A Note on the Compactness Theorem in First Order Logic. Math. Log. Q. 26 (7-9) (1980)
John Corcoran, George Weaver
Logical consequence in modal logic. II. Some semantic systems for S4. Notre Dame J. Formal Log. 15 (3) (1974)
Harold Goldberg, Hugues Leblanc, George Weaver
A strong completeness theorem for 3-valued logic. Notre Dame J. Formal Log. 15 (2) (1974)
John Corcoran, George Weaver
Logical consequence in modal logic: Natural deduction in S5. Notre Dame J. Formal Log. 10 (4) (1969)