- A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Natural deduction and arbitrary objects.Kit Fine - 1985 - Journal of Philosophical Logic 14 (1):57 - 107.details
|
|
On the Notion of Object. A Logical Genealogy.Fernando Ferreira - 2012 - Disputatio 4 (34):609-624.details
|
|
Comments on Predicative Logic.Fernando Ferreira - 2006 - Journal of Philosophical Logic 35 (1):1-8.details
|
|
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.José Espírito Santo & Gilda Ferreira - 2020 - Studia Logica 108 (3):477-507.details
|
|
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.details
|
|
Propositions in Prepositional Logic Provable Only by Indirect Proofs.Jan Ekman - 1998 - Mathematical Logic Quarterly 44 (1):69-91.details
|
|
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.details
|
|
Feasibility In Logic.Jacques Dubucs - 2002 - Synthese 132 (3):213-237.details
|
|
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.details
|
|
Models of Deduction.Kosta Dosen - 2006 - Synthese 148 (3):639-657.details
|
|
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Mathematical Logic Quarterly 36 (1):17-21.details
|
|
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):17-21.details
|
|
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.details
|
|
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.details
|
|
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Hopeful Monsters: A Note on Multiple Conclusions.Bogdan Dicher - 2020 - Erkenntnis 85 (1):77-98.details
|
|
Correction to: Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):687-687.details
|
|
Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Cham, Switzerland: Springer.details
|
|
Inferential Expressivism and the Negation Problem.Luca Incurvati & Julian J. Schlöder - forthcoming - Oxford Studies in Metaethics 16.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2015 - Cham, Switzerland: Springer.details
|
|
The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.details
|
|
Meaning and argument. A theory of meaning centred on immediate argumental role.Cesare Cozzo - 1994 - Almqvist & Wiksell.details
|
|
A Note on Paradoxical Propositions from an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.details
|
|
Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Schopenhauers Logikdiagramme in den Mathematiklehrbüchern Adolph Diesterwegs.Jens Lemanski - 2022 - Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 16:97-127.details
|
|
Aspectos metafísicos na física de Newton: Deus.Bruno Camilo de Oliveira - 2011 - In Luiz Henrique de Araújo Dutra & Alexandre Meyer Luz (eds.), Coleção rumos da epistemologia. Florianópolis, SC, Brasil: NEL/UFSC. pp. 186-201.details
|
|
Goal-Driven Reasoning in First-Order Logic.Claes Strannegård - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator för en Dag. Essays dedicated to Dag Westerståhl on his sixtieth birthday. Philosophical Communications.details
|
|
Which Quantifiers Are Logical?Solomon Feferman - unknowndetails
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
Proof Theory and Meaning.B. G. Sundholm - unknowndetails
|
|
A Century of Inference: 1837-1936.B. G. Sundholm - unknowndetails
|
|
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.details
|
|
Possible Worlds Semantics and the Liar.Sten Lindström - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 297--314.details
|
|
Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics and Language. (Synthese Library vol 373). Springer. pp. 367-387.details
|
|
Accepting & Rejecting Questions: First Steps toward a Bilateralism for Erotetic Logic.Jared A. Millson - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 211–232.details
|
|
Inferentialism and Structuralism: A Tale of Two Theories.Ryan Mark Nefdt - 2018 - Logique Et Analyse 61 (244):489-512.details
|
|
Frameworks, models, and case studies: a new methodology for studying conceptual change in science and philosophy.Matteo De Benedetto - 2022 - Dissertation, Ludwig Maximilians Universität, Münchendetails
|
|
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Dordrecht: Springer. pp. 35–70.details
|
|
Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.details
|
|
Quine's challenge and Logical Pluralism.Antonio Negro - 2010 - Dissertation, 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. Springer Verlag. pp. 249--350.details
|
|
Why Play Logical Games?Mathieu Marion - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 3--26.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|
Small Steps and Great Leaps in Thought: The Epistemology of Basic Deductive Rules.Joshua Schechter - 2019 - In Magdalena Balcerak Jackson & Brendan Balcerak Jackson (eds.), Reasoning: New Essays on Theoretical and Practical Thinking. Oxford: Oxford University Press.details
|
|
On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea Universitydetails
|
|
Rigour, Proof and Soundness.Oliver M. W. Tatton-Brown - 2020 - Dissertation, University of Bristoldetails
|
|
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
|
|