- Completeness and Hauptsatz for second order logic.Dag Prawitz - 1967 - Theoria 33 (3):246-258.details
|
|
Is Logic the Key to All Good Reasoning?Jaakko Hintikka - 2001 - Argumentation 15 (1):35-57.details
|
|
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.details
|
|
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
Aristotle on the Individuation of Syllogisms.Phil Corkum - forthcoming - Ancient Philosophy.details
|
|
Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscriptdetails
|
|
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wiendetails
|
|
Dialogical logic: beyond syntax and semantics?Guido Del Din - 2014 - Epistemologia 37 (2):276-288.details
|
|
Pragma-Dialectics and the Function of Argumentation.Christoph Lumer - 2010 - Argumentation 24 (1):41-69.details
|
|
An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System.Nina Gierasimczuk, Han L. J. van der Maas & Maartje E. J. Raijmakers - 2013 - Journal of Logic, Language and Information 22 (3):297-314.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Method of Analysis: A Paradigm of Mathematical Reasoning?Jaakko Hintikka - 2012 - History and Philosophy of Logic 33 (1):49 - 67.details
|
|
(1 other version)On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
Abductive Reasoning: Logical Investigations Into Discovery and Explanation.Atocha Aliseda - 2005 - Dordrecht and London: Springer.details
|
|
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.details
|
|
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.details
|
|
Handbook of Argumentation Theory.Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij & Jean H. M. Wagemans - 2014 - Dordrecht, Netherland: Springer.details
|
|
The logic of the articles in traditional philosophy: a contribution to the study of conceptual structures.Else Margarete Barth - 1974 - Boston: D. Reidel Pub. Co..details
|
|
Transgressions Are Equal, and Right Actions Are Equal: some Philosophical Reflections on Paradox III in Cicero’s Paradoxa Stoicorum.Daniel Rönnedal - 2017 - Philosophia 45 (1):317-334.details
|
|
The psychology of knights and knaves.Lance J. Rips - 1989 - Cognition 31 (2):85-116.details
|
|
Rereading Gentzen.Jan Von Plato - 2003 - Synthese 137 (1-2):195 - 209.details
|
|
(1 other version)Preface.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):1-6.details
|
|
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.details
|
|
Hintikka, Laudan and Newton: An interrogative model of scientific inquiry.James W. Garrison - 1988 - Synthese 74 (2):145 - 171.details
|
|
(2 other versions)them just the authors—seem to have read Cantor's argument in a variety of places. In my records only one author refers directly to Cantor's own argument [7]. One quotes Russell's 'Principles of mathematics'[20] later. [REVIEW]Wilfrid Hodges - 1998 - Bulletin of Symbolic Logic 4 (1):1-16.details
|
|
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.details
|
|
Dialectic, the Dictum de Omni and Ecthesis.Michel Crubellier, Mathieu Marion, Zoe Mcconaughey & Shahid Rahman - 2019 - History and Philosophy of Logic 40 (3):207-233.details
|
|
König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.details
|
|
Logical Dialogues with Explicit Preference Profiles and Strategy Selection.Emmanuel Genot & Justine Jacot - 2017 - Journal of Logic, Language and Information 26 (3):261-291.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.details
|
|
Advice on Abductive Logic.Dov Gabbay & John Woods - 2006 - Logic Journal of the IGPL 14 (2):189-219.details
|
|
Dialogues as a dynamic framework for logic.Helge Rückert - unknowndetails
|
|
Abduction via C-tableaux and δ-resolution.Fernando Soler-Toscano, Ángel Nepomuceno-Fernández & Atocha Aliseda-Llera - 2009 - Journal of Applied Non-Classical Logics 19 (2):211-225.details
|
|
Paralogical reasoning: Evans, Johnson-Laird, and Byrne on liar and truth-teller puzzles.Lance J. Rips - 1990 - Cognition 36 (3):291-314.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Dialogical logic: beyond syntax and semantics?Guido Del Din - 2015 - Epistemologia 2:276-288.details
|
|
The brain attics: the strategic role of memory in single and multi-agent inquiry.Emmanuel J. Genot & Justine Jacot - 2020 - Synthese 197 (3):1203-1224.details
|
|
Aristotelian Logic Axioms in Propositional Logic: The Pouch Method.Enrique Alvarez-Fontecilla & Tomas Lungenstrass - 2018 - History and Philosophy of Logic 40 (1):12-21.details
|
|