- Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics.Stefan Buijsman - 2016 - Dissertation, Stockholm Universitydetails
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
EINSTEINS 1905 REVOLUTIONARY PAPER ON QUANTA AS A MANIFEST AND DETAILED EXAMPLE OF A PRINCIPLE THEORY.Drago Antonino - 2014 - Advances in Historical Studies (No.3).details
|
|
Rule-following and Functions.André Porto - 2013 - O Que Nos Faz Pensar 33:95-141.details
|
|
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 249--350.details
|
|
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.details
|
|
Practical Knowledge: Outlines of a Theory of Traditions and Skills.J. C. Nyíri & Barry Smith (eds.) - 1988 - Croom Helm.details
|
|
Manifestability and Epistemic Truth.Julien Murzi - 2012 - Topoi 31 (1):17-26.details
|
|
Semantics and the Justification of Deductive Inference.Ebba Gullberg & Sten Lindström - 2007 - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.details
|
|
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.details
|
|
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Meaning and Rules.Eva Picardi - 1988 - In J. C. Nyíri & Barry Smith (eds.), Practical Knowledge: Outlines of a Theory of Traditions and Skills. Croom Helm. pp. 90-121.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
Parts, classes and Parts of Classes : an anti-realist reading of Lewisian mereology.Neil Tennant - 2013 - Synthese 190 (4):709-742.details
|
|
Concepts and Axioms.A. S. Troelstra - 1998 - Philosophia Mathematica 6 (2):195-208.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.Peter Schroeder-Heister - 1983 - Journal of Philosophical Logic 12 (3):359 - 377.details
|
|
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Of Marriage and Mathematics: Inferentialism and Social Ontology.James Henry Collin - 2023 - Topoi 42 (1):247-257.details
|
|
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.details
|
|
Classical Harmony and Separability.Julien Murzi - 2020 - Erkenntnis 85 (2):391-415.details
|
|
Intuitionism, Meaning Theory and Cognition.Richard Tieszen - 2000 - History and Philosophy of Logic 21 (3):179-194.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Why Play Logical Games?Mathieu Marion - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 3--26.details
|
|
Proof Theory and Meaning.B. G. Sundholm - unknowndetails
|
|
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.details
|
|
The Metaphysical Basis of Logic.Michaela McSweeney - 2016 - Dissertation, Princeton Universitydetails
|
|
Introduction: Inferences and Proofs.Gabriella Crocco & Antonio Piccolomini D’Aragona - 2019 - Topoi 38 (3):487-492.details
|
|
Classical harmony: Rules of inference and the meaning of the logical constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.details
|
|
An interpretation of classical proofs.Glen Helman - 1983 - Journal of Philosophical Logic 12 (1):39 - 71.details
|
|
Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.details
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.details
|
|
Intuitionistic truth.Wlodzimierz Rabinowicz - 1985 - Journal of Philosophical Logic 14 (2):191 - 228.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|