- The Justification of the Logical Laws Revisited.Patrizio Contu - 2006 - Synthese 148 (3):573-588.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.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
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
A Deflationist Error Theory of Properties.Arvid Båve - 2015 - Dialectica 69 (1):23-59.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
(1 other version)What is wrong with classical negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.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
|
|
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
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.details
|
|
The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.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
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.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
|
|
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
|
|
Not every truth has a truthmaker II.Peter Milne - 2013 - Analysis 73 (3):473-481.details
|
|
Formulating deflationism.Arvid Båve - 2013 - Synthese 190 (15):3287-3305.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre.Stefania Centrone - 2012 - History and Philosophy of Logic 33 (2):127 - 157.details
|
|
Which Quantifiers Are Logical?Solomon Feferman - unknowndetails
|
|
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
|
|
On the copernican turn in semantics.Cesare Cozzo - 2008 - Theoria 74 (4):295-317.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
(3 other versions)A negationless interpretation of intuitionistic theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-179.details
|
|
A proof-theoretic approach to entailment.N. Tennant - 1980 - Journal of Philosophical Logic 9 (2):185 - 209.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
Normalization and excluded middle. I.Jonathan P. Seldin - 1989 - Studia Logica 48 (2):193 - 217.details
|
|
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.details
|
|
(1 other version)To be and not to be: Dialectical tense logic.Graham Priest - 1982 - Studia Logica 41 (2-3):249 - 268.details
|
|
Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.details
|
|
(2 other versions)A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.details
|
|
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.details
|
|
The logic of logical revision formalizing Dummett's argument.Jon Cogburn - 2005 - Australasian Journal of Philosophy 83 (1):15 – 32.details
|
|
Hegel's dialectics as a semantic theory: An analytic reading.Francesco Berto - 2007 - European Journal of Philosophy 15 (1):19–39.details
|
|
The Validity of Inference and Argument.Dag Prawitz - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 135-160.details
|
|
Comments on the Contributions.Peter Schroeder-Heister - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 443-455.details
|
|
(1 other version)Proof-Theoretic Semantics: An Autobiographical Survey.Peter Schroeder-Heister - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 1-51.details
|
|
Eight Rules for Implication Elimination.Michael Arndt - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 239-273.details
|
|
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
Disjunctive Syllogism without Ex falso.Luiz Carlos Pereira, Edward Hermann Haeusler & Victor Nascimento - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 193-209.details
|
|
Frege’s Class Theory and the Logic of Sets.Neil Tennant - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 85-134.details
|
|
Counterfactual Assumptions and Counterfactual Implications.Bartosz Więckowski - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 399-423.details
|
|
Routes to relevance: Philosophies of relevant logics.Shawn Standefer - 2024 - Philosophy Compass 19 (2):e12965.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrewsdetails
|
|