| The Stoic Theory of Sign and Proof |
Fabian Ruge |
Reier Helle |
Notre Dame Philosophical Reviews |
2023-03-28 |
| Structural proof theory |
Sara Negri |
Roger Antonsen |
Studia Logica |
2018-02 |
| Proof Theory of N4-related Paraconsistent Logics |
Norihiro Kamide |
Yaroslav Shramko |
Studia Logica |
2017-06-01 |
| Proof Theory: Sequent Calculi and Related Formalisms |
Katalin Bimbó |
Thomas Strahm |
The Bulletin of Symbolic Logic |
2016-06-00 |
| What Logics Mean: From Proof Theory to Model-Theoretic Semantics |
James W Garson |
Jaroslav Peregrin |
Australasian Journal of Philosophy |
2015-01-19 |
| Proof Theory |
Gaisi Takeuti |
Sandro Skansi |
Synthesis Philosophica |
2014-01-01 |
| Hybrid Logic and Its Proof-Theory |
Torben Braüner |
Melvin Fitting |
Studia Logica |
2012-10-01 |
| Proof theory for fuzzy logics. Applied Logic Series, vol. 36 |
G. Metcalfe |
Bartosz Wieckowski |
The Bulletin of Symbolic Logic |
2010-09-00 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Jesus M Larrazabal |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2008-04-01 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control |
David J Pym |
Didier Galmiche |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Structural Proof Theory Jan von Plato Sara Negri |
Jan Von Plato |
Harold T. Hodes |
The Philosophical Review |
2006-04-00 |
| Proof Theory: History and Philosophical Significance (Synthese Library 292) |
Vincent Hendricks |
Jan von Plato |
Logical Analysis and History of Philosophy / Philosophiegeschichte und Logische Analyse |
2003-01-01 |
| Basic Proof Theory A. S. Troelstra H. Schwichtenberg |
A. S. Troelstra |
Roy Dyckhoff |
The Bulletin of Symbolic Logic |
2001-06-00 |
| Proof theory of modal logic |
Heinrich Wansing |
Melvin Fitting |
The Journal of Symbolic Logic |
1999 |
| Basic proof theory |
A. S. Troelstra and H. Schwichtenberg |
Roy Dyckhoff |
The Journal of Symbolic Logic |
1998 |
| Arithmetic, proof theory, and computational complexity |
Peter Clote and Krajíček Jan, Oxford logic guides, no. 23 |
Fernando Ferreira |
The Journal of Symbolic Logic |
1995 |
| Proof theory. An introduction |
Wolfram Pohlers |
Andrea Cantini |
The Journal of Symbolic Logic |
1993 |
| Proof theory |
W P Deroever Jr |
Dag Prawitz |
The Journal of Symbolic Logic |
1991 |
| Proof Theory |
G Takeuti |
N D Goodman |
History and Philosophy of Logic |
1989-01-01 |
| Proof theory and logical complexity |
Jean-Yves Girard |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1989 |
| Proof theory and logical complexity |
Jean-Yves Girard |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1989 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Proof theory. Revised English translation by J. N. Crossley of XXV 243 |
Kurt Schütte |
W. A. Howard |
The Journal of Symbolic Logic |
1982 |
| Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
S Mazur |
R L Goodstein |
The Journal of Symbolic Logic |
1975 |
| Ordinals and functionals in proof theory |
Solomon Feferman |
Georg Kreisel |
The Journal of Symbolic Logic |
1975 |
| Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
J. van Heijenoort |
The Journal of Symbolic Logic |
1975 |
| A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
James R. Geiser |
The Journal of Symbolic Logic |
1975 |
| Proof theory and intuitionistic systems |
Bruno Scarpellini |
A. S. Troelstra |
The Journal of Symbolic Logic |
1974 |
| R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
Per Martin-Löf |
Robert A Di Paola |
The Journal of Symbolic Logic |
1974 |
| David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1973 |
| Carol Karp. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
Leslie H. Tharp |
The Journal of Symbolic Logic |
1970 |
