- Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.details
|
|
Completeness and partial soundness results for intersection and union typing for http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007210000515-si1. gif"/>. [REVIEW]Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.details
|
|
Completeness and partial soundness results for intersection and union typing for λ ¯ μ μ ̃.Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.details
|
|
Proofs, Snakes and Ladders.Alasdair Urquhart - 1974 - Dialogue 13 (4):723-731.details
|
|
On Hilbert's Axiomatics of Propositional Logic.V. Michele Abrusci - 2014 - Perspectives on Science 22 (1):115-132.details
|
|
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.details
|
|
A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.details
|
|
Non-transitive counterparts of every Tarskian logic.Damian E. Szmuc - 2024 - Analysis 84 (2):320-326.details
|
|
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.details
|
|
The nature of entailment: an informational approach.Yaroslav Shramko & Heinrich Wansing - 2019 - Synthese 198 (S22):5241-5261.details
|
|
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.details
|
|
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.details
|
|
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.details
|
|
The Link Between Probability Functions and Logical Consequence.Peter Roeper - 1997 - Dialogue 36 (1):15-.details
|
|
On the Contemporary Practice of Philosophy of Mathematics.Colin Jakob Rittberg - 2019 - Acta Baltica Historiae Et Philosophiae Scientiarum 7 (1):5-26.details
|
|
The psychology of knights and knaves.Lance J. Rips - 1989 - Cognition 31 (2):85-116.details
|
|
Paralogical reasoning: Evans, Johnson-Laird, and Byrne on liar and truth-teller puzzles.Lance J. Rips - 1990 - Cognition 36 (3):291-314.details
|
|
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.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
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Probabilistic interpretations of argumentative attacks: Logical and experimental results.Niki Pfeifer & Christian G. Fermüller - 2023 - Argument and Computation 14 (1):75-107.details
|
|
The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.details
|
|
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.details
|
|
Popper's theory of deductive inference and the concept of a logical constant.Peter Schroeder-Heister - 1984 - History and Philosophy of Logic 5 (1):79-110.details
|
|
Logic Reduced To (Proof-Theoretical) Bare Bones.Jaroslav Peregrin - 2015 - Journal of Logic, Language and Information 24 (2):193-209.details
|
|
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.details
|
|
A Syntactic Approach to Meillassoux’s Concept of Hyper-Chaos.Martin Orensanz - 2020 - Open Philosophy 3 (1):119-131.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
On Dummett’s Pragmatist Justification Procedure.Hermógenes Oliveira - 2019 - Erkenntnis 86 (2):429-455.details
|
|
Grammar and logic.Glyn Morrill - 1996 - Theoria 62 (3):260-293.details
|
|
Intermediate logics with the same disjunctionless fragment as intuitionistic logic.Plerluigi Minari - 1986 - Studia Logica 45 (2):207 - 222.details
|
|
Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.details
|
|
Multisets and relevant implication II.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (3):265 – 281.details
|
|
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.details
|
|
Gorgias’ Argument does not Include Actual Conditionals.Miguel López - Astorga - 2018 - Problemos 93.details
|
|
Peirce’s Dragon-Head Logic.Minghui Ma & Ahti-Veikko Pietarinen - 2022 - Archive for History of Exact Sciences 76 (3):261-317.details
|
|
Aristotle on Circular Proof.Marko Malink - 2013 - Phronesis 58 (3):215-248.details
|
|
Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.details
|
|
The Problems of the Mental Logic with the Double Negation: The Necessity of a Semantic Approach.Miguel López-Astorga - 2016 - Studies in Logic, Grammar and Rhetoric 46 (1):143-153.details
|
|
Links Between Mythology and Philosophy: Homer’s Iliad and Current Criteria of Rationality.Miguel López Astorga - 2019 - Principia: An International Journal of Epistemology 23 (1):69-78.details
|
|
In Favor of Logical Form.Miguel López-Astorga - 2022 - Studies in Logic, Grammar and Rhetoric 67 (1):45-58.details
|
|
Chrysippus’ Indemonstrables and the Semantic Mental Models.Miguel López-Astorga - 2017 - Eidos: Revista de Filosofía de la Universidad Del Norte 26:302-325.details
|
|
Against Philo’s interpretation of conditional. The case of Aristotle´s thesis.Miguel López-Astorga - 2016 - Agora 35 (2).details
|
|
Deduction and Justification in the Law. The Role of Legal Terms and Concepts.Lars Lindahl - 2004 - Ratio Juris 17 (2):182-202.details
|
|
Sequent Systems for Negative Modalities.Ori Lahav, João Marcos & Yoni Zohar - 2017 - Logica Universalis 11 (3):345-382.details
|
|
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.details
|
|
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.details
|
|
Syntactical investigations intoBI logic andBB′I logic.Yuichi Komori - 1994 - Studia Logica 53 (3):397 - 416.details
|
|