- Capturing naive validity in the Cut-free approach.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2016 - Synthese 199 (Suppl 3):707-723.details
|
|
Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.details
|
|
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknowndetails
|
|
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.details
|
|
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). Springer. pp. 35–70.details
|
|
Revisiting Quine on Truth by Convention.Jared Warren - 2017 - Journal of Philosophical Logic 46 (2):119-139.details
|
|
(1 other version)Against Harmony.Ian Rumfitt - 1995 - In B. Hale & Crispin Wright (eds.), Blackwell Companion to the Philosophy of Language. Blackwell.details
|
|
Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Proof Theory and Complexity.Carlo Cellucci - 1985 - Synthese 62 (2):173-189.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.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
|
|
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.details
|
|
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.details
|
|
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.details
|
|
Typability and type checking in System F are equivalent and undecidable.J. B. Wells - 1999 - Annals of Pure and Applied Logic 98 (1-3):111-156.details
|
|
Functional interpretations of feasibly constructive arithmetic.Stephen Cook & Alasdair Urquhart - 1993 - Annals of Pure and Applied Logic 63 (2):103-200.details
|
|
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.details
|
|
Computing interpolants in implicational logics.Makoto Kanazawa - 2006 - Annals of Pure and Applied Logic 142 (1):125-201.details
|
|
Rules for subatomic derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.details
|
|
Locke and Leibniz on the Balance of Reasons.Markku Roinila - 2013 - In Dana Riesenfeld & Giovanni Scarafile (eds.), Perspectives on Theory of Controversies and the Ethics of Communication: Explorations of Marcelo Dascal's Contributions to Philosophy. Dordrecht: Springer. pp. 49-57.details
|
|
A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.details
|
|
Unconscious representations 2: Towards an integrated cognitive architecture.Luis M. Augusto - 2014 - Axiomathes 24 (1):19-43.details
|
|
Formulating deflationism.Arvid Båve - 2013 - Synthese 190 (15):3287-3305.details
|
|
(1 other version)Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.details
|
|
Logical Constants: A Modalist Approach 1.Otávio Bueno & Scott A. Shalkowski - 2013 - Noûs 47 (1):1-24.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
Arbitrary reference.Wylie Breckenridge & Ofra Magidor - 2012 - Philosophical Studies 158 (3):377-400.details
|
|
Logic as instrument: the millian view on the role of logic.Ken Akiba - 1996 - History and Philosophy of Logic 17 (1-2):73-83.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
On the copernican turn in semantics.Cesare Cozzo - 2008 - Theoria 74 (4):295-317.details
|
|
Meaning and argument. A theory of meaning centred on immediate argumental role.Cesare Cozzo - 1994 - Almqvist & Wiksell.details
|
|
Semantic theory and necessary truth.Ian Rumfitt - 2001 - Synthese 126 (1-2):283 - 324.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.details
|
|
(1 other version)Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.details
|
|
A consistent theory of attributes in a logic without contraction.Richard B. White - 1993 - Studia Logica 52 (1):113 - 142.details
|
|
A proof-theoretic approach to entailment.N. Tennant - 1980 - Journal of Philosophical Logic 9 (2):185 - 209.details
|
|
ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.details
|
|
A labelled natural deduction system for linear temporal logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.details
|
|
(2 other versions)A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.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
|
|
Hegel's dialectics as a semantic theory: An analytic reading.Francesco Berto - 2007 - European Journal of Philosophy 15 (1):19–39.details
|
|
On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.details
|
|
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.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
|
|