George Weaver - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2005

Fraenkel-Carnap propertiesGeorge Weaver, Benjamin George. mlq, 51(3):285-290, 2005. [doi]

Compactness in Equational LogicGeorge Weaver. rml, 39:25-46, 2005. [doi]

From finitary to infinitary second-order logicGeorge Weaver, Irena Penev. mlq, 51(5):499-506, 2005. [doi]

2003

The Fraenkel-Carnap question for Dedekind algebrasGeorge Weaver, Benjamin George. mlq, 49(1):92-96, 2003. [doi]

The First-Order Theories of Dedekind AlgebrasGeorge Weaver. sLogica, 73(3):337-365, 2003.

2000

Homogeneous and Universal Dedekind AlgebrasGeorge Weaver. sLogica, 64(2):173-192, 2000.

1998

Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II TheoriesGeorge Weaver, David Lippel. sLogica, 60(2):275-297, 1998.

1994

Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theoremsGeorge Weaver. sLogica, 53(2):325-342, 1994.

1992

Unifying Some Modifications of the Henkin ConstructionGeorge Weaver. ndjfl, 33(3):450-464, 1992.

1991

Henkin s Completeness Proof: Forty Years LaterHugues Leblanc, Peter Roeper, Michael Thau, George Weaver. ndjfl, 32(2):212-232, 1991.

1990

Extending ω-consistent sets to maximally consistent, ω-complete setsGeorge Weaver, Michael Thau, Hugues Leblanc. mlq, 36(5):381-383, 1990. [doi]

1988

0-categorical theoriesGeorge Weaver. sLogica, 47(4):327-345, 1988. [doi]

1986

Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal LogicsGeorge Weaver, Jeffrey Welaish. JSYML, 51(4):969-980, 1986.

1982

First Order Properties of Relations with the Monotonic Closure PropertyGeorge Weaver, Raymond D. Gumb. mlq, 28(1-3):1-5, 1982. [doi]

A Note on the Interpolation Theorem in First Order LogicGeorge Weaver. mlq, 28(14-18):215-218, 1982. [doi]

1980

A Note on the Compactness Theorem in First Order LogicGeorge Weaver. mlq, 26(7-9):111-113, 1980. [doi]

1974

Logical consequence in modal logic. II. Some semantic systems for S4John Corcoran, George Weaver. ndjfl, 15(3):370-378, 1974. [doi]

A strong completeness theorem for 3-valued logicHarold Goldberg, Hugues Leblanc, George Weaver. ndjfl, 15(2):325-330, 1974. [doi]

1969

Logical consequence in modal logic: Natural deduction in S5John Corcoran, George Weaver. ndjfl, 10(4):370-384, 1969. [doi]

Sign in or sign up to see more results.

runs on WebDSL