- (1 other version)Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.details
|
|
(1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
Formal semantics and logic.Bas C. Van Fraassen - 1971 - New York,: Macmillan.details
|
|
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.details
|
|
Language and its Models: Is Model Theory a Theory of Semantics?Jaroslav Peregrin - 1997 - Nordic Journal of Philosophical Logic 2 (1):1-23.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert Brandom - 1994 - Cambridge, Mass.: Harvard University Press.details
|
|
(1 other version)Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.details
|
|
Inferentialism and the categoricity problem: Reply to Raatikainen.Julien Murzi & Ole Thomassen Hjortland - 2009 - Analysis 69 (3):480-488.details
|
|
An inferentialist approach to semantics: Time for a new kind of structuralism?Jaroslav Peregrin - 2008 - Philosophy Compass 3 (6):1208-1223.details
|
|
Meaning as an inferential role.Jaroslav Peregrin - 2006 - Erkenntnis 64 (1):1-35.details
|
|
Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.details
|
|
(1 other version)Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2005 - Studia Logica 79 (2):305-306.details
|
|
(1 other version)Formalization of Logic. [REVIEW]E. N. - 1943 - Journal of Philosophy 40 (12):332.details
|
|
On rules of inference and the meanings of logical constants.Panu Raatikainen - 2008 - Analysis 68 (4):282-287.details
|
|
Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.details
|
|
Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.details
|
|
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.details
|
|
(1 other version)Hilbert's Programme.Georg Kreisel - 1962 - Journal of Symbolic Logic 27 (2):228-229.details
|
|
(2 other versions)Formalization of Logic.Carl G. Hempel - 1943 - Journal of Symbolic Logic 8 (3):81-83.details
|
|
Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier.details
|
|
(2 other versions)Formal Semantics and Logic.Richard Butrick - 1980 - Journal of Symbolic Logic 45 (2):376-377.details
|
|
(1 other version)Identity and harmony.S. Read - 2004 - Analysis 64 (2):113-119.details
|
|
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.details
|
|
Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford, England: Oxford University Press.details
|
|
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details
|
|
Making it Explicit: Reasoning, Representing, and Discursive Commitment.Robert Kirk - 1996 - Philosophical Quarterly 46 (183):238-241.details
|
|
(1 other version)Identity and harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.details
|
|
Completeness and super-valuations.Gary M. Hardegree - 2005 - Journal of Philosophical Logic 34 (1):81 - 95.details
|
|
Introduction to Proof Theoretic Semantics. Special issue of.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148.details
|
|