- The nature of entailment: an informational approach.Yaroslav Shramko & Heinrich Wansing - 2019 - Synthese 198 (S22):5241-5261.details
|
|
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.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
|
|
The Link Between Probability Functions and Logical Consequence.Peter Roeper - 1997 - Dialogue 36 (1):15-.details
|
|
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.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
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.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
|
|
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
|
|
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
|
|
Knowledge, belief, normality, and introspection.Dominik Klein, Olivier Roy & Norbert Gratzl - 2017 - Synthese 195 (10):4343-4372.details
|
|
Gentzen's Method for the Many-Valued Propositional Calculi.Vladimir G. Kirin - 1966 - Mathematical Logic Quarterly 12 (1):317-332.details
|
|
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.Max Kanovich, Stepan Kuznetsov & Andre Scedrov - 2020 - Journal of Logic, Language and Information 30 (1):31-88.details
|
|
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.details
|
|
On Argumentation Logic and Propositional Logic.Antonis C. Kakas, Paolo Mancarella & Francesca Toni - 2018 - Studia Logica 106 (2):237-279.details
|
|
A Note on Stahl's Opposite System.Takao Inoué - 1989 - Mathematical Logic Quarterly 35 (5):387-390.details
|
|
A Note on Stahl's Opposite System.Takao Inoué - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):387-390.details
|
|
Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.details
|
|
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus.Zvonimir Šikić - 2022 - Logica Universalis 16 (1):11-26.details
|
|
Intuitionistische Kennzeichnung der endlichen Spezies.Fritz Homagk - 1971 - Studia Logica 28 (1):41-63.details
|
|
The Computational Content of Arithmetical Proofs.Stefan Hetzl - 2012 - Notre Dame Journal of Formal Logic 53 (3):289-296.details
|
|
CERES in higher-order logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.details
|
|
Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.details
|
|
Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.details
|
|