- 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
|
|
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
|
|
(1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Classical Harmony and Separability.Julien Murzi - 2020 - Erkenntnis 85 (2):391-415.details
|
|
Introduction: Inferences and Proofs.Gabriella Crocco & Antonio Piccolomini D’Aragona - 2019 - Topoi 38 (3):487-492.details
|
|
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.Ruy Queiroz - 2008 - Studia Logica 90 (2):211-247.details
|
|
Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants.Gustavo Fernández Díez - 2000 - Journal of Philosophical Logic 29 (4):409-424.details
|
|
Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics.Stefan Buijsman - 2016 - Dissertation, Stockholm Universitydetails
|
|
Fitch’s Paradox and Probabilistic Antirealism.Igor Douven - 2007 - Studia Logica 86 (2):149-182.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
(1 other version)Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.details
|
|
Rule-following and Functions.André Porto - 2013 - O Que Nos Faz Pensar 33:95-141.details
|
|
Radical anti-realism and substructural logics.Jacques Dubucs & Mathieu Marion - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 235--249.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
|
|
Wittgenstein on Mathematical Identities.André Porto - 2012 - Disputatio 4 (34):755-805.details
|
|
Practical Knowledge: Outlines of a Theory of Traditions and Skills.J. C. Nyíri & Barry Smith (eds.) - 1988 - Croom Helm.details
|
|
Concepts and Axioms.A. S. Troelstra - 1998 - Philosophia Mathematica 6 (2):195-208.details
|
|
Intuitionism, Meaning Theory and Cognition.Richard Tieszen - 2000 - History and Philosophy of Logic 21 (3):179-194.details
|
|
Dummett's case for intuitionism.John P. Burgess - 1984 - History and Philosophy of Logic 5 (2):177-194.details
|
|
Semantics and the Justification of Deductive Inference.Ebba Gullberg & Sten Lindström - 2007 - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.details
|
|
(1 other version)On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.details
|
|
Convention.Michael Rescorla - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.details
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.details
|
|
(1 other version)Identity and harmony.Stephen Read - 2004 - Analysis 64 (2):113–119.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
Rule-circularity and the justification of deduction.By Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625–648.details
|
|
Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.details
|
|
Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.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
|
|
On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..details
|
|
Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
Towards a Semantics Based on the Notion of Justification.Gabriele Usberti - 2006 - Synthese 148 (3):675-699.details
|
|
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
The experiential foundations of mathematical knowledge.Nicolas D. Goodman - 1981 - History and Philosophy of Logic 2 (1-2):55-65.details
|
|
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.details
|
|
Classical harmony: Rules of inference and the meaning of the logical constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.details
|
|
Parts, classes and Parts of Classes : an anti-realist reading of Lewisian mereology.Neil Tennant - 2013 - Synthese 190 (4):709-742.details
|
|