Proof-Theoretic Semantics

Stanford Encyclopedia of Philosophy (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.
Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Pluralism and the logical basis of metaphysics.N. Kurbis - 2007 - In Logica Yearbook.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.

Analytics

Added to PP
2013-07-11

Downloads
113 (#153,817)

6 months
23 (#115,843)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.

View all 55 citations / Add more citations

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.

View all 94 references / Add more references