Logical consequence in modal logic: Natural deduction in S5. - John Corcoran; George Weaver (Notre Dame J. Formal Log., 1969)

Logical consequence in modal logic. II. Some semantic systems for S4. - John Corcoran; George Weaver (Notre Dame J. Formal Log., 1974)

A strong completeness theorem for 3-valued logic. - Harold Goldberg; Hugues Leblanc; George Weaver (Notre Dame J. Formal Log., 1974)

A Note on the Compactness Theorem in First Order Logic. - George Weaver (Math. Log. Q., 1980)

A Note on the Interpolation Theorem in First Order Logic. - George Weaver (Math. Log. Q., 1982)

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

Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics. - George Weaver; Jeffrey Welaish (J. Symb. Log., 1986)

Classifying ℵ0-categorical theories. - George Weaver (Stud Logica, 1988)

Extending ω-consistent sets to maximally consistent, ω-complete sets. - George Weaver; Michael Thau; Hugues Leblanc (Math. Log. Q., 1990)

Henkin's Completeness Proof: Forty Years Later. - Hugues Leblanc; Peter Roeper; Michael Thau; George Weaver (Notre Dame J. Formal Log., 1991)

Unifying Some Modifications of the Henkin Construction. - George Weaver (Notre Dame J. Formal Log., 1992)

Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. - George Weaver (Stud Logica, 1994)

Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories. - George Weaver; David Lippel (Stud Logica, 1998)

Homogeneous and Universal Dedekind Algebras. - George Weaver (Stud Logica, 2000)

The Fraenkel-Carnap question for Dedekind algebras. - George Weaver; Benjamin R. George (Math. Log. Q., 2003)

The First-Order Theories of Dedekind Algebras. - George Weaver (Stud Logica, 2003)

Fraenkel-Carnap properties. - George Weaver; Benjamin R. George (Math. Log. Q., 2005)

From finitary to infinitary second-order logic. - George Weaver; Irena Penev (Math. Log. Q., 2005)

Compactness in Equational Logic. - George Weaver (Reports Math. Log., 2005)

Using Neural Network Models to Estimate Stellar Ages from Lithium Equivalent Widths: An EAGLES Expansion. - George Weaver; Robin D. Jeffries; Richard J. Jackson (CoRR, 2024)