- Grounding rules and (hyper-)isomorphic formulas.Francesca Poggiolesi - 2020 - Australasian Journal of Logic 17 (1):70-80.details
|
|
On the notion of validity for the bilateral classical logic.Ukyo Suzuki & Yoriyuki Yamagata - manuscriptdetails
|
|
An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.details
|
|
Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.details
|
|
Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Can Başkent, Perspectives on Interrogative Models of Inquiry, Springer, 2016. [REVIEW]Francesca Poggiolesi - 2016 - Logic and Logical Philosophy 25 (4):555-560.details
|
|
Conditionals in Interaction.James Trafford - 2017 - Studia Humana 6 (1):39-49.details
|
|
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 141-155.details
|
|
The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Pro Universitaria. pp. 11-36.details
|
|
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.details
|
|
Proof Terms for Classical Derivations.Restall Greg - manuscriptdetails
|
|
Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics.Stefan Buijsman - 2016 - Dissertation, Stockholm Universitydetails
|
|
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.details
|
|
Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.details
|
|
Noisy vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 57--79.details
|
|
Rules for subatomic derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.details
|
|
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.details
|
|
(1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
(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
|
|
Inferentialism and the categoricity problem: Reply to Raatikainen.Julien Murzi & Ole Thomassen Hjortland - 2009 - Analysis 69 (3):480-488.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
|
|
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.details
|
|
Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrewsdetails
|
|
Negative Predication and Distinctness.Bartosz Więckowski - 2023 - Logica Universalis 17 (1):103-138.details
|
|
Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.details
|
|
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.details
|
|
Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.details
|
|
Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
Inferentialism without Verificationism: Reply to Prawitz.Julien Murzi - 2011 - In Emiliano Ippoliti, Carlo Cellucci & Emily Grosholz (eds.), Logic and Knowledge. Newcastle upon Tyne: Cambridge Scholar Publishing. pp. 285-90.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Implicit definition and the application of logic.Thomas Kroedel - 2012 - Philosophical Studies 158 (1):131-148.details
|
|
Inferentialism and the categoricity problem: Reply to Raatikainen. North-Holland - unknowndetails
|
|
Radical anti-realism, Wittgenstein and the length of proofs.Mathieu Marion - 2009 - Synthese 171 (3):419 - 432.details
|
|
Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.details
|
|
Natural Language and Logical Consequence: An Inferentialist Account.Simon Vonlanthen - manuscriptdetails
|
|
Logical Conventionalism and the Adoption Problem.Anandi Hattiangadi - 2023 - Aristotelian Society Supplementary Volume 97 (1):47-81.details
|
|
Mathematical Pluralism.Edward N. Zalta - 2024 - Noûs 58 (2):306-332.details
|
|
Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.details
|
|
On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea Universitydetails
|
|
(1 other version)A Critical Remark on the BHK Interpretation of Implication.Wagner de Campos Sanz & Thomas Piecha - 2014 - Philosophia Scientiae 18:13-22.details
|
|
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.details
|
|
On The Pragmatic Content of Science and Common Sense.Roberto Gronda & Giacomo Turbanti - 2017 - European Journal of Pragmatism and American Philosophy 9 (2).details
|
|