- Inference and compulsion.Cesare Cozzo - 2014 - In E. Moriconi & Laura Tesconi (eds.), Second Pisa Colloquium in Logic, Language and Epistemology. ETS. pp. 162-180.details
|
|
Quine's Argument from Despair.Sander Verhaegh - 2014 - British Journal for the History of Philosophy 22 (1):150-173.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
|
|
A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.details
|
|
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.details
|
|
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
Reference and inference: The case of anaphora.Jaroslav Peregrin - 2000 - In Klaus von Heusinger & Urs Egli (eds.), Reference and Anaphoric Relations. Kluwer Academic Publishers. pp. 269--286.details
|
|
Conjunction and Contradiction.Achille C. Varzi - 2004 - In Graham Priest, Jc Beall & Bradley P. Armour-Garb (eds.), The law of non-contradiction : new philosophical essays. New York: Oxford University Press. pp. 93–110.details
|
|
Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.details
|
|
Hegel's dialectics as a semantic theory: An analytic reading.Francesco Berto - 2007 - European Journal of Philosophy 15 (1):19–39.details
|
|
Meaning as an inferential role.Jaroslav Peregrin - 2006 - Erkenntnis 64 (1):1-35.details
|
|
Modality and the structure of assertion.Ansten Klev - 2023 - In Igor Sedlár (ed.), Logica Yearbook 2022. London: College Publications. pp. 39-53.details
|
|
Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.details
|
|
Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.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
|
|
Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.details
|
|
Normalisation for Bilateral Classical Logic with some Philosophical Remarks.Nils Kürbis - 2021 - Journal of Applied Logics 2 (8):531-556.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
|
|
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.details
|
|
Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.details
|
|
General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.details
|
|
Bilateralism: Negations, Implications and some Observations and Problems about Hypotheses.Nils Kürbis - 2017 - In Thomas Piecha & Jean Fichot (eds.), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017.details
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.details
|
|
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.details
|
|
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria 24 (2):147-168.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
|
|
Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.details
|
|
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.details
|
|
What is wrong with classical negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.details
|
|
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.details
|
|
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.F. Parlamento - 2014 - Notre Dame Journal of Formal Logic 55 (3):383-395.details
|
|
Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants.Mitsuhiro Okada - 1989 - Annals of the Japan Association for Philosophy of Science 7 (4):163-172.details
|
|
Interpolation Theorem for intuitionistic S4.Branislav R. Boricic - 1991 - Bulletin of the Section of Logic 20 (1):2-6.details
|
|
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.details
|
|
A natural deduction system for ctl.Christian Jacques Renterıa & Edward Hermann Haeusler - 2002 - Bulletin of the Section of Logic 31 (4):231-240.details
|
|
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.details
|
|
Why does the proof-theory of hybrid logic work so well?Torben Braüner - 2007 - Journal of Applied Non-Classical Logics 17 (4):521-543.details
|
|
A Connection Between Cut Elimination and Normalization.Mirjana Borisavljević - 2006 - Archive for Mathematical Logic 45 (2):113-148.details
|
|
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Studia Logica 100 (4):753-785.details
|
|
Truth table logic, with a survey of embeddability results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.B. G. Sundholm - 1994 - The Monist 77 (3):294-314.details
|
|
Proof Theory and Meaning.B. G. Sundholm - unknowndetails
|
|
Semantics and the Justification of Deductive Inference.Ebba Gullberg & Sten Lindström - 2007 - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.details
|
|
Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.details
|
|