William Craig

17 papers Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Distribution of hooks in self-conjugate partitions.
Discret. Math.
William Craig, Ken Ono, Ajit Singh
2025 J jnl
On the Asymptotic Behavior for Partitions Separated by Parity.
Electron. J. Comb.
Kathrin Bringmann, William Craig, Caner Nazaroglu
2023 — conf
Multimodal Deep Learning for Pediatric Mild Traumatic Brain Injury Detection.
BHI
Badhan Mazumder, Deepan Krishna Tripathy, Keith Owen Yeates, Miriam H. Beauchamp, William Craig, Quynh Doan, Stephen B. Freedman, Catherine Lebel, Roger Zemek, Ashley L. Ware, Dong Hye Ye
2014 J jnl
Peter van Inwagen, Substitutional Quantification, and Ontological Commitment.
Notre Dame J. Formal Log.
William Craig
2008 J jnl
Elimination problems in logic: a brief history.
Synth.
William Craig
2008 J jnl
The road to two theorems of logic.
Synth.
William Craig
1989 J jnl
Near-Equational and Equational Systems of Logic for Partial Functions I.
J. Symb. Log.
William Craig
1989 J jnl
Near-Equational and Equational Systems of Logic for Partial Functions II.
J. Symb. Log.
William Craig
1988 J jnl
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality.
J. Symb. Log.
Hajnal Andréka, William Craig, István Németi
1965 J jnl
Satisfaction for n-th Order Languages Defined in n-th Order Languages.
J. Symb. Log.
William Craig
1960 J jnl
Bases for First-Order Theories and Subtheories.
J. Symb. Log.
William Craig
1958 J jnl
Finite Axiomatizability Using Additional Predicates.
J. Symb. Log.
William Craig, Robert L. Vaught
1957 J jnl
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.
J. Symb. Log.
William Craig
1957 J jnl
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.
J. Symb. Log.
William Craig
1955 J jnl
Eighteenth Meeting of the Association for Symbolic Logic.
J. Symb. Log.
William Craig
1953 J jnl
On Axiomatizability Within a System.
J. Symb. Log.
William Craig
1952 J jnl
On Reduction to a Symmetric Relation.
J. Symb. Log.
William Craig, Willard Van Orman Quine