- Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingendetails
|
|
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.details
|
|
Against Harmony.Ian Rumfitt - 1995 - In B. Hale & Crispin Wright (eds.), Blackwell Companion to the Philosophy of Language. Blackwell.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
|
|
A Note on Stahl's Opposite System.Takao Inoué - 1989 - Mathematical Logic Quarterly 35 (5):387-390.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
|
|
Non-transitive counterparts of every Tarskian logic.Damian E. Szmuc - 2024 - Analysis 84 (2):320-326.details
|
|
The logical relation of consequence.Basil Evangelidis - 2020 - Humanities Bulletin 3 (2):77-90.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
The First Rule of Stoic Logic and its Relationship with the Indemonstrables.Miguel López Astorga - 2015 - Tópicos: Revista de Filosofía 50:9-23.details
|
|
Sequent Systems for Negative Modalities.Ori Lahav, João Marcos & Yoni Zohar - 2017 - Logica Universalis 11 (3):345-382.details
|
|
Logic Reduced To (Proof-Theoretical) Bare Bones.Jaroslav Peregrin - 2015 - Journal of Logic, Language and Information 24 (2):193-209.details
|
|
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.details
|
|
The middle ground-ancestral logic.Liron Cohen & Arnon Avron - 2019 - Synthese 196 (7):2671-2693.details
|
|
Paralogical reasoning: Evans, Johnson-Laird, and Byrne on liar and truth-teller puzzles.Lance J. Rips - 1990 - Cognition 36 (3):291-314.details
|
|
Herbrand style proof procedures for modal logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.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
|
|
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.details
|
|
Quine and the linguistic doctrine of logical truth.Ken Akiba - 1995 - Philosophical Studies 78 (3):237 - 256.details
|
|
On the Contemporary Practice of Philosophy of Mathematics.Colin Jakob Rittberg - 2019 - Acta Baltica Historiae Et Philosophiae Scientiarum 7 (1):5-26.details
|
|
A Syntactic Approach to Meillassoux’s Concept of Hyper-Chaos.Martin Orensanz - 2020 - Open Philosophy 3 (1):119-131.details
|
|
Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
The Stoic sign and the pragmatic or implicit premises in the formal theories.Miguel López-Astorga - 2017 - Clareira: Revista de Filosofia da Região Amazônica 4 (1-2):171-182.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
|
|
On Argumentation Logic and Propositional Logic.Antonis C. Kakas, Paolo Mancarella & Francesca Toni - 2018 - Studia Logica 106 (2):237-279.details
|
|
Chrysippus’ Indemonstrables and Mental Logic.Miguel López-Astorga - 2015 - Croatian Journal of Philosophy 15 (1):1-15.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
On the unity of duality.Noam Zeilberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):66-96.details
|
|
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.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
|
|
Proofs, Snakes and Ladders.Alasdair Urquhart - 1974 - Dialogue 13 (4):723-731.details
|
|
Deduction and Justification in the Law. The Role of Legal Terms and Concepts.Lars Lindahl - 2004 - Ratio Juris 17 (2):182-202.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
|
|
.Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.details
|
|
The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.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
|
|
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
|
|
Gentzen's Method for the Many-Valued Propositional Calculi.Vladimir G. Kirin - 1966 - Mathematical Logic Quarterly 12 (1):317-332.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
|
|
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
|
|
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.details
|
|
Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.details
|
|
Where is the Gödel-Point Hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals.Anna Horská - 2013 - Cham, Switzerland: Springer.details
|
|
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus.Zvonimir Šikić - 2022 - Logica Universalis 16 (1):11-26.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
|
|
Los condicionales de utilidad y la teoría de los modelos mentales.Miguel López Astorga - 2017 - Otrosiglo 1 (1):90-108.details
|
|
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.details
|
|