- Instrumenta sciendi.Walter Redmond - 2008 - Tópicos: Revista de Filosofía 34 (1):105-139.details
|
|
The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School.Andrzej Indrzejczak - 2024 - History and Philosophy of Logic 45 (2):142-160.details
|
|
On Intermediate Consequence Relations.W. Darsow & Phyllis M. Kittel - 1980 - Mathematical Logic Quarterly 26 (1‐6):33-34.details
|
|
On Intermediate Consequence Relations.W. Darsow & Phyllis M. Kittel - 1980 - Mathematical Logic Quarterly 26 (1-6):33-34.details
|
|
A Caution To The Anti-realist.Charles B. Daniels - 1997 - Dialogue 36 (3):489-492.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
|
|
The trouble Anderson and Belnap have with relevance.B. J. Copeland - 1980 - Philosophical Studies 37 (4):325 - 334.details
|
|
On brouwer's definition of unextendable order.Carl J. Posy - 1980 - History and Philosophy of Logic 1 (1-2):139-149.details
|
|
Modal pure type systems.Tijn Borghuis - 1998 - Journal of Logic, Language and Information 7 (3):265-296.details
|
|
The Quantified Argument Calculus and Natural Logic.Hanoch Ben-Yami - 2020 - Dialectica 74 (2):179-214.details
|
|
The Barcan formulas and necessary existence: the view from Quarc.Hanoch Ben-Yami - 2020 - Synthese 198 (11):11029-11064.details
|
|
Language in action.Johan Benthem - 1991 - Journal of Philosophical Logic 20 (3):225 - 263.details
|
|
CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.details
|
|
Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.details
|
|
Divine omnipotence and impossible tasks: An intensional analysis. [REVIEW]C. Anthony Anderson - 1984 - International Journal for Philosophy of Religion 15 (3):109 - 124.details
|
|
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.details
|
|
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):385-392.details
|
|
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.details
|
|
.Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.details
|
|
The peculiarities of stoic propositional logic.David Hitchcock - 2005 - In Kent A. Peacock & Andrew D. Irvine (eds.), Mistakes of reason: essays in honour of John Woods. Buffalo: University of Toronto Press. pp. 224--242.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Ruth Barcan Marcus.Roberta Ballarin - 2024 - Stanford Encyclopedia of Philosophy.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
|
|
A consistent theory of attributes in a logic without contraction.Richard B. White - 1993 - Studia Logica 52 (1):113 - 142.details
|
|
Putnam, G Del and mathematical realism.Alan Weir - 1993 - International Journal of Philosophical Studies 1 (2):255 – 285.details
|
|
Diamonds are a philosopher's best friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.details
|
|
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.details
|
|
Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.details
|
|
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.details
|
|
Computationalism.Stuart C. Shapiro - 1995 - Minds and Machines 5 (4):467-87.details
|
|
Universals: Ways or Things?Scott Berman - 2008 - Metaphysica 9 (2):219-234.details
|
|
The Marxian theory of social change.A. K. Saran - 1963 - Inquiry: An Interdisciplinary Journal of Philosophy 6 (1-4):70 – 128.details
|
|
Natural deduction and Curry's paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.details
|
|
Modal subordination and pronominal anaphora in discourse.Craige Roberts - 1989 - Linguistics and Philosophy 12 (6):683 - 721.details
|
|
Direct deductive computation on discourse representation structures.Uwe Reyle & Dov M. Gabbay - 1994 - Linguistics and Philosophy 17 (4):343 - 390.details
|
|
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.details
|
|
Fregean grammar: A formal outline.Timothy C. Potts - 1978 - Studia Logica 37 (1):7 - 26.details
|
|
An interpretation of logical formulas.Jean A. Phillips - 1959 - Theoria 25 (3):158-172.details
|
|
The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.details
|
|
Relational Order and Onto-Thematic Roles.Francesco Orilia - 2011 - Metaphysica 12 (1):1-18.details
|
|
Prior and possibly not existing.Michael Nelson - 2016 - Synthese 193 (11):3651-3663.details
|
|
Discontinuity in categorial grammar.Glyn Morrill - 1995 - Linguistics and Philosophy 18 (2):175 - 219.details
|
|
The second epistemic way.Billy Joe Lucas - 1985 - International Journal for Philosophy of Religion 18 (3):107 - 114.details
|
|
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.details
|
|
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment. [REVIEW]Mark Norris Lance & Philip Kremer - 1994 - Journal of Philosophical Logic 23 (4):369 - 400.details
|
|
Dunn’s relevant predication, real properties and identity.Philip Kremer - 1997 - Erkenntnis 47 (1):37-65.details
|
|
Noncumulative dialectical models and formal dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.details
|
|
A theory of modal dialectics.Erik C. W. Krabbe - 1986 - Journal of Philosophical Logic 15 (2):191 - 217.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
|
|