- Einfuhrung in die Operative Logik und Mathematik.Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.details
|
|
Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
Einführung in die operative Logik und Mathematik.Paul Lorenzen - 1955 - Berlin,: Springer.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
Anti-Realism and Logic. [REVIEW]A. J. Dale - 1989 - British Journal for the Philosophy of Science 40 (2):213-217.details
|
|
Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.details
|
|
Proof-theoretic Semantics for Classical Mathematics.William W. Tait - 2006 - Synthese 148 (3):603-622.details
|
|
Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.details
|
|
Intensional Interpretations of Functionals of Finite Type I.W. W. Tait - 1975 - Journal of Symbolic Logic 40 (4):624-625.details
|
|
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.details
|
|
Anti-Realism and Logic.Michael Luntley - 1989 - Philosophical Quarterly 39 (156):361.details
|
|
Einführungin die operative Logik und Mathematik.Th Skolem - 1957 - Zeitschrift für Philosophische Forschung 11 (4):631-633.details
|
|
Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.details
|
|
Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.details
|
|
Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T.Felix Joachimski & Ralph Matthes - 2003 - Archive for Mathematical Logic 42 (1):59-87.details
|
|
On the Proof-theoretic Foundation of General Definition Theory.Lars Hallnäs - 2006 - Synthese 148 (3):589-602.details
|
|
The Taming of the True.Michael Glanzberg & Neil Tennant - 2000 - Philosophical Review 109 (2):290.details
|
|
The concept of logical consequence.John Etchemendy - 1990 - Cambridge, Mass.: Harvard University Press.details
|
|
Robert B. Brandom, Articulating Reasons (An Introduction to Inferentialism). [REVIEW]Robert B. Brandom - 2001 - Erkenntnis 55 (1):121-127.details
|
|
Articulating reasons: an introduction to inferentialism.Robert Brandom - 2000 - Cambridge, Mass.: Harvard University Press.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2002 - Philosophical Quarterly 52 (206):123-125.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
English as a Formal Language.Richard Montague - 1970 - In Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.details
|
|
Dynamics.Reinhard Muskens, Johan Van Benthem & Albert Visser - 1997 - In Johan Van Benthem & Alice Ter Meulen (eds.), Handbook of Logic and Language. Amsterdam: Elsevier. pp. 587-648.details
|
|
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.details
|
|
The Concept of Logical Consequence.John Etchemendy - 1994 - Erkenntnis 41 (2):281-284.details
|
|
Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.details
|
|