George Weaver

According to our database, George Weaver authored at least 19 papers between 1969 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Compactness in Equational Logic.

George Weaver

Reports Math. Log., 2005

From finitary to infinitary second-order logic.

George Weaver, Irena Penev

Math. Log. Q., 2005

Fraenkel-Carnap properties.

George Weaver, Benjamin R. George

Math. Log. Q., 2005

2003

The First-Order Theories of Dedekind Algebras.

George Weaver

Stud Logica, 2003

The Fraenkel-Carnap question for Dedekind algebras.

George Weaver, Benjamin R. George

Math. Log. Q., 2003

2000

Homogeneous and Universal Dedekind Algebras.

George Weaver

Stud Logica, 2000

1998

Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories.

George Weaver, David Lippel

Stud Logica, 1998

1994

Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems.

George Weaver

Stud Logica, 1994

1992

Unifying Some Modifications of the Henkin Construction.

George Weaver

Notre Dame J. Formal Log., 1992

1991

Henkin's Completeness Proof: Forty Years Later.

Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver

Notre Dame J. Formal Log., 1991

1990

Extending ω-consistent sets to maximally consistent, ω-complete sets.

George Weaver, Michael Thau, Hugues Leblanc

Math. Log. Q., 1990

1988

Classifying ℵ₀-categorical theories.

George Weaver

Stud Logica, 1988

1986

Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics.

George Weaver, Jeffrey Welaish

J. Symb. Log., 1986

1982

First Order Properties of Relations with the Monotonic Closure Property.

George Weaver, Raymond D. Gumb

Math. Log. Q., 1982

A Note on the Interpolation Theorem in First Order Logic.

George Weaver

Math. Log. Q., 1982

1980

A Note on the Compactness Theorem in First Order Logic.

George Weaver

Math. Log. Q., 1980

1974

A strong completeness theorem for 3-valued logic.

Harold Goldberg, Hugues Leblanc, George Weaver

Notre Dame J. Formal Log., 1974

Logical consequence in modal logic. II. Some semantic systems for S4.

John Corcoran, George Weaver

Notre Dame J. Formal Log., 1974

1969

Logical consequence in modal logic: Natural deduction in S5.

John Corcoran, George Weaver

Notre Dame J. Formal Log., 1969