George Weaver - RankMe

21 papers Journal 21

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Using Neural Network Models to Estimate Stellar Ages from Lithium Equivalent Widths: An EAGLES Expansion. CoRR George Weaver, Robin D. Jeffries, Richard J. Jackson
2011	J	`jnl`	Fraenkel-Carnap Questions for Equivalence Relations. Australas. J. Log. George Weaver, Irena Penev
2005	J	`jnl`	Compactness in Equational Logic. Reports Math. Log. George Weaver
2005	J	`jnl`	Fraenkel-Carnap properties. Math. Log. Q. George Weaver, Benjamin R. George
2005	J	`jnl`	From finitary to infinitary second-order logic. Math. Log. Q. George Weaver, Irena Penev
2003	J	`jnl`	The First-Order Theories of Dedekind Algebras. Stud Logica George Weaver
2003	J	`jnl`	The Fraenkel-Carnap question for Dedekind algebras. Math. Log. Q. George Weaver, Benjamin R. George
2000	J	`jnl`	Homogeneous and Universal Dedekind Algebras. Stud Logica George Weaver
1998	J	`jnl`	Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories. Stud Logica George Weaver, David Lippel
1994	J	`jnl`	Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. Stud Logica George Weaver
1992	J	`jnl`	Unifying Some Modifications of the Henkin Construction. Notre Dame J. Formal Log. George Weaver
1991	J	`jnl`	Henkin's Completeness Proof: Forty Years Later. Notre Dame J. Formal Log. Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
1990	J	`jnl`	Extending ω-consistent sets to maximally consistent, ω-complete sets. Math. Log. Q. George Weaver, Michael Thau, Hugues Leblanc
1988	J	`jnl`	Classifying ℵ Stud Logica George Weaver
1986	J	`jnl`	Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics. J. Symb. Log. George Weaver, Jeffrey Welaish
1982	J	`jnl`	A Note on the Interpolation Theorem in First Order Logic. Math. Log. Q. George Weaver
1982	J	`jnl`	First Order Properties of Relations with the Monotonic Closure Property. Math. Log. Q. George Weaver, Raymond D. Gumb
1980	J	`jnl`	A Note on the Compactness Theorem in First Order Logic. Math. Log. Q. George Weaver
1974	J	`jnl`	A strong completeness theorem for 3-valued logic. Notre Dame J. Formal Log. Harold Goldberg, Hugues Leblanc, George Weaver
1974	J	`jnl`	Logical consequence in modal logic. II. Some semantic systems for S4. Notre Dame J. Formal Log. John Corcoran, George Weaver
1969	J	`jnl`	Logical consequence in modal logic: Natural deduction in S5. Notre Dame J. Formal Log. John Corcoran, George Weaver