Concepedia

William Craig

WC

29

Publications

2.3K

Citations

18

H-Index

1953

Active since

Affiliations

Pennsylvania State University(Current)

University of California, Berkeley

University of Virginia

Donald Danforth Plant Science Center

University of Cologne

William Craig is an author at Pennsylvania State University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsLanguageSemanticsSyntaxLinguisticsPhilosophy Of MindSocial SciencesCognitive Science

Publications per year

1953–2023

29

Publications

29

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

William Craig · Journal of Symbolic Logic · 1957 · 664 citations

Expressive Power, Engineering, Automated Reasoning +12

Linear reasoning. A new form of the Herbrand-Gentzen theorem

William Craig · Journal of Symbolic Logic · 1957 · 452 citations

Engineering, Classical Logic, Higher-order Logic +18

On axiomatizability within a system

William Craig · Journal of Symbolic Logic · 1953 · 311 citations

Algebraic Logic, Engineering, Automated Reasoning +11

Combinatory Logic, Volume I.

Charles Parsons, Haskell B. Curry, Robert Feys et al. · The Philosophical Review · 1959 · 160 citations

Computational Logic, Discrete Mathematics, Combinatory Logic

Finite Axiomatizability using additional predicates

William Craig, Robert L. Vaught · Journal of Symbolic Logic · 1958 · 139 citations

First Order, Logical Constant, Engineering +10

Rows per page

1–5 of 29