- First Order Expressivist Logic.John Cantwell - 2013 - Erkenntnis 78 (6):1381-1403.details
|
|
Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrewsdetails
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.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
|
|
Verifikation, Manifestation und Verstehen: Bemerkungen zum Manifestationsargument.Thorsten Sander - 2006 - Philosophisches Jahrbuch 113:336-358.details
|
|
Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.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
|
|
.Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.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
|
|
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.details
|
|
Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 973--1052.details
|
|
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.details
|
|
A Concrete Categorical Model for the Lambek Syntactic Calculus.Marcelo Da Silva Corrêa & Edward Hermann Haeusler - 1997 - Mathematical Logic Quarterly 43 (1):49-59.details
|
|
The proof-theoretic square.Antonio Piccolomini D’Aragona - 2023 - Synthese 201 (6):1-34.details
|
|
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.details
|
|
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.details
|
|
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2022 - Studia Logica 110 (3):819-877.details
|
|
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.details
|
|
On the copernican turn in semantics.Cesare Cozzo - 2008 - Theoria 74 (4):295-317.details
|
|
Philosophical reflections on the foundations of mathematics.Jocelyne Couture & Joachim Lambek - 1991 - Erkenntnis 34 (2):187 - 209.details
|
|
An agent-oriented account of Piaget’s theory of interactional morality.Antônio Carlos da Rocha Costa - 2019 - AI and Society 34 (3):649-676.details
|
|
Functional interpretations of feasibly constructive arithmetic.Stephen Cook & Alasdair Urquhart - 1993 - Annals of Pure and Applied Logic 63 (2):103-200.details
|
|
The Justification of the Logical Laws Revisited.Patrizio Contu - 2006 - Synthese 148 (3):573-588.details
|
|
The logic of logical revision formalizing Dummett's argument.Jon Cogburn - 2005 - Australasian Journal of Philosophy 83 (1):15 – 32.details
|
|
Tonking a theory of content: an inferentialist rejoinder.Jon Cogburn - 2004 - Logic and Logical Philosophy 13:31-55.details
|
|
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
|
|
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
|
|
Proof Theory and Complexity.Carlo Cellucci - 1985 - Synthese 62 (2):173-189.details
|
|
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
Conditionals in reasoning.John Cantwell - 2009 - Synthese 171 (1):47 - 75.details
|
|
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.John Cantwell - 2015 - Journal of Logic, Language and Information 24 (1):27-51.details
|
|
A note on the elimination rules.Donatella Cagnoni - 1977 - Journal of Philosophical Logic 6 (1):269 - 281.details
|
|
Formulating deflationism.Arvid Båve - 2013 - Synthese 190 (15):3287-3305.details
|
|
A Deflationist Error Theory of Properties.Arvid Båve - 2015 - Dialectica 69 (1):23-59.details
|
|
Logical Constants: A Modalist Approach 1.Otávio Bueno & Scott A. Shalkowski - 2013 - Noûs 47 (1):1-24.details
|
|
Labelled Natural Deduction for Substructural Logics.K. Broda, M. Finger & A. Russo - 1999 - Logic Journal of the IGPL 7 (3):283-318.details
|
|
Arbitrary reference.Wylie Breckenridge & Ofra Magidor - 2012 - Philosophical Studies 158 (3):377-400.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
|
|
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.details
|
|
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.details
|
|
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.details
|
|
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.details
|
|
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23‐24):355-372.details
|
|
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23-24):355-372.details
|
|
Sequent calculus for classical logic probabilized.Marija Boričić - 2019 - Archive for Mathematical Logic 58 (1-2):119-136.details
|
|
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.details
|
|
Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.details
|
|
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.details
|
|