- Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.details
|
|
Brouwer's Conception of Truth.Casper Storm Hansen - 2016 - Philosophia Mathematica 24 (3):379-400.details
|
|
On the Proof-theoretic Foundation of General Definition Theory.Lars Hallnäs - 2006 - Synthese 148 (3):589-602.details
|
|
Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.details
|
|
Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - History and Philosophy of Logic 37 (2):170-193.details
|
|
Ursus Philosophicus - Essays Dedicated to Björn Haglund on his Sixtieth Birthday.Christer Svennerlind (ed.) - 2004 - Philosophical Communications.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.details
|
|
Perspectives on the dispute between intuitionistic and classical mathematics.Dag Westerståhl - 2004 - In Christer Svennerlind (ed.), Ursus Philosophicus. Essays dedicated to Björn Haglund on his sixtieth birthday. Philosophical Communications.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|
On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea Universitydetails
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Blackwell Companion to Philosophy of Language. Wiley Blackwell. pp. 197-224.details
|
|
Meaning, Classical Logic and Semantic Realism.Massimiliano Vignolo - 2010 - Prolegomena 9 (1):25-44.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|
Proof Terms for Classical Derivations.Restall Greg - manuscriptdetails
|
|
Models of HoTT and the Constructive View of Theories.Andrei Rodin - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.details
|
|
Knowing-How and the Deduction Theorem.Andrei Rodin & Vladimir Krupski - unknowndetails
|
|