- A Nonmonotonic Modal Relevant Sequent Calculus.Shuhei Shimamura - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 570-584.details
|
|
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.details
|
|
Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Rules for subatomic derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.details
|
|
Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.details
|
|
Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.details
|
|
Basic logic: Reflection, symmetry, visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.details
|
|
Basic logic: reflection, symmetry, visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.details
|
|
Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.details
|
|
Truth Values and Proof Theory.Greg Restall - 2009 - Studia Logica 92 (2):241-264.details
|
|
Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.details
|
|
Why ‘Not’?Huw Price - 1990 - Mind 99 (394):221-238.details
|
|
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.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
|
|
Dialogue structure and logical expressivism.Paul Piwek - 2011 - Synthese 183 (S1):33-58.details
|
|
The logical structure of linguistic commitment II: Systems of relevant commitment entailment. [REVIEW]Mark Lance & Philip Kremer - 1996 - Journal of Philosophical Logic 25 (4):425 - 449.details
|
|
The logical structure of linguistic commitment III Brandomian scorekeeping and incompatibility.Mark Lance - 2001 - Journal of Philosophical Logic 30 (5):439-464.details
|
|
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment. [REVIEW]Mark Norris Lance & Philip Kremer - 1994 - Journal of Philosophical Logic 23 (4):369 - 400.details
|
|
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.details
|
|
Meaning.Paul Horwich - 1998 - New York: Oxford University Press.details
|
|
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.details
|
|
Natural Semantics: Why Natural Deduction is Intuitionistic.James W. Garson - 2001 - Theoria 67 (2):114-139.details
|
|
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.details
|
|
Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.details
|
|
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.details
|
|
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.details
|
|
Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert Brandom - 1994 - Cambridge, Mass.: Harvard University Press.details
|
|
Between saying and doing: towards an analytic pragmatism.Robert Brandom - 2008 - New York: Oxford University Press.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
|
|
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2002 - Philosophical Quarterly 52 (206):123-125.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. College Publications.details
|
|
Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Blackwell Companion to Philosophy of Language. Wiley Blackwell. pp. 197-224.details
|
|
Assertion, denial and non-classical theories.Greg Restall - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 81--99.details
|
|
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.details
|
|
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknowndetails
|
|
Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.details
|
|