# George Weaver

According to our database

Collaborative distances:

^{1}, George Weaver authored at least 19 papers between 1969 and 2005.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2005

Compactness in Equational Logic.

Reports on Mathematical Logic, 2005

From finitary to infinitary second-order logic.

Math. Log. Q., 2005

Fraenkel-Carnap properties.

Math. Log. Q., 2005

2003

The First-Order Theories of Dedekind Algebras.

Studia Logica, 2003

The Fraenkel-Carnap question for Dedekind algebras.

Math. Log. Q., 2003

2000

Homogeneous and Universal Dedekind Algebras.

Studia Logica, 2000

1998

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

Studia Logica, 1998

1994

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

Studia Logica, 1994

1992

Unifying Some Modifications of the Henkin Construction.

Notre Dame Journal of Formal Logic, 1992

1991

Henkin's Completeness Proof: Forty Years Later.

Notre Dame Journal of Formal Logic, 1991

1990

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

Math. Log. Q., 1990

1988

Classifying ℵ

_{0}-categorical theories.
Studia Logica, 1988

1986

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

J. Symb. Log., 1986

1982

First Order Properties of Relations with the Monotonic Closure Property.

Math. Log. Q., 1982

A Note on the Interpolation Theorem in First Order Logic.

Math. Log. Q., 1982

1980

A Note on the Compactness Theorem in First Order Logic.

Math. Log. Q., 1980

1974

A strong completeness theorem for 3-valued logic.

Notre Dame Journal of Formal Logic, 1974

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

Notre Dame Journal of Formal Logic, 1974

1969

Logical consequence in modal logic: Natural deduction in S5.

Notre Dame Journal of Formal Logic, 1969