- Practical Knowledge: Outlines of a Theory of Traditions and Skills.J. C. Nyíri & Barry Smith (eds.) - 1988 - Croom Helm.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
|
|
Wittgenstein on Mathematical Identities.André Porto - 2012 - Disputatio 4 (34):755-805.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
|
|
From Tractatus to Later Writings and Back – New Implications from Wittgenstein’s Nachlass.Ruy J. G. B. de Queiroz - 2023 - SATS 24 (2):167-203.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.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
|
|
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
|
|
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2022 - Studia Logica 110 (3):819-877.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
On the road to antirealism∗1.Gregory Currie - 1993 - Inquiry: An Interdisciplinary Journal of Philosophy 36 (4):465-483.details
|
|
Introduction: Inferences and Proofs.Gabriella Crocco & Antonio Piccolomini D’Aragona - 2019 - Topoi 38 (3):487-492.details
|
|
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.details
|
|
Of Marriage and Mathematics: Inferentialism and Social Ontology.James Henry Collin - 2023 - Topoi 42 (1):247-257.details
|
|
Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.details
|
|
Volume I: Recovery operators in logics of formal inconsistency.Eduardo Alejandro Barrio & Walter Carnielli - 2020 - Logic Journal of the IGPL 28 (5):615-623.details
|
|
Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.details
|
|
The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.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
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Two kinds of deviance.William H. Hanson - 1989 - History and Philosophy of Logic 10 (1):15-28.details
|
|
Realism and Behaviourism.Alan Weir - 1986 - Dialectica 40 (3):167-200.details
|
|
Towards a Semantics Based on the Notion of Justification.Gabriele Usberti - 2006 - Synthese 148 (3):675-699.details
|
|
Concepts and Axioms.A. S. Troelstra - 1998 - Philosophia Mathematica 6 (2):195-208.details
|
|
Rule-circularity and the justification of deduction.By Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625–648.details
|
|
Parts, classes and Parts of Classes : an anti-realist reading of Lewisian mereology.Neil Tennant - 2013 - Synthese 190 (4):709-742.details
|
|
Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.details
|
|
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.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
|
|
Intuitionism, Meaning Theory and Cognition.Richard Tieszen - 2000 - History and Philosophy of Logic 21 (3):179-194.details
|
|
Identity and harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.details
|
|
Intuitionistic truth.Wlodzimierz Rabinowicz - 1985 - Journal of Philosophical Logic 14 (2):191 - 228.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
|
|
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.Ruy Queiroz - 2008 - Studia Logica 90 (2):211-247.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.details
|
|
The experiential foundations of mathematical knowledge.Nicolas D. Goodman - 1981 - History and Philosophy of Logic 2 (1-2):55-65.details
|
|
Manifestability and Epistemic Truth.Julien Murzi - 2012 - Topoi 31 (1):17-26.details
|
|
Classical Harmony and Separability.Julien Murzi - 2020 - Erkenntnis 85 (2):391-415.details
|
|
Disjunction and Disjunctive Syllogism.Peter Milne - 1998 - Canadian Journal of Philosophy 28 (1):21 - 32.details
|
|
Classical harmony: Rules of inference and the meaning of the logical constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.details
|
|