On sequence-conclusion natural deduction systems

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

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

Humanities, Computer Science, Mathematics +10

Foundations of Mathematical Logic.

Elliott Mendelson, Haskell B. Curry · American Mathematical Monthly · 1965 · 456 citations

Humanities, Computer Science, Mathematics +12

Foundations of mathematical logic

Journal of the Franklin Institute · 1963 · 319 citations

Humanities, Computer Science, Mathematics +12

Multiple Conclusion Logic.

Neil Tennant, D. J. Shoesmith, Timothy Smiley · The Philosophical Quarterly · 1980 · 242 citations

Humanities, Philosophy, Logic +6

An interpolation theorem in the predicate calculus

Roger C. Lyndon · Pacific Journal of Mathematics · 1959 · 183 citations · Full text

Computing, Computer Science, Mathematics +7