George Weaver

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

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


  Loading...