- Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.details
|
|
Mental models and tableau logic.Avery D. Andrews - 1993 - Behavioral and Brain Sciences 16 (2):334-334.details
|
|
On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic.Natasha Alechina - 1995 - Journal of Logic, Language and Information 4 (3):177-189.details
|
|
The monadic hybrid calculus.Omar Alaqeeli & William Wadge - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):33-49.details
|
|
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.details
|
|
(1 other version)Ein Vergleich dreier aussagenlogischer Semantiken.Alexander Zimmermann - 2009 - Kriterion - Journal of Philosophy 22 (1):44-61.details
|
|
Logic without metaphysics.José L. Zalabardo - 2019 - Synthese 198 (S22):5505-5532.details
|
|
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.details
|
|
Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.details
|
|
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.details
|
|
On the Strict–Tolerant Conception of Truth.Stefan Wintein - 2014 - Australasian Journal of Philosophy 92 (1):1-20.details
|
|
Interpolation Methods for Dunn Logics and Their Extensions.Stefan Wintein & Reinhard Muskens - 2017 - Studia Logica 105 (6):1319-1347.details
|
|
From Bi-facial Truth to Bi-facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - Studia Logica 103 (3):545-558.details
|
|
More models just means more difficulty.N. E. Wetherick - 1993 - Behavioral and Brain Sciences 16 (2):367-368.details
|
|
Scientific thinking and mental models.Ryan D. Tweney - 1993 - Behavioral and Brain Sciences 16 (2):366-367.details
|
|
Inductive Reasoning in Social Choice Theory.Fernando Tohmé, Federico Fioravanti & Marcelo Auday - 2019 - Journal of Logic, Language and Information 28 (4):551-575.details
|
|
Situation theory and mental models.Alice G. B. ter Meulen - 1993 - Behavioral and Brain Sciences 16 (2):358-359.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
|
|
Nonsentential representation and nonformality.Keith Stenning & Jon Oberlander - 1993 - Behavioral and Brain Sciences 16 (2):365-366.details
|
|
Models, rules and expertise.Rosemary J. Stevenson - 1993 - Behavioral and Brain Sciences 16 (2):366-366.details
|
|
Uniform Gentzen systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):549-559.details
|
|
An “I” for an I: Singular terms, uniqueness, and reference.Stewart Shapiro - 2012 - Review of Symbolic Logic 5 (3):380-415.details
|
|
(1 other version)Sequenzenschliessen in Der Algebraischen Attributenlogik.Dietrich Schwartz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):487-495.details
|
|
Unjustified presuppositions of competence.Leah Savion - 1993 - Behavioral and Brain Sciences 16 (2):364-365.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
|
|
Doxastic logic: a new approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.details
|
|
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83-132.details
|
|
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.details
|
|
Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.details
|
|
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.details
|
|
There is no need for (even fully fleshed out) mental models to map onto formal logic.Paul Pollard - 1993 - Behavioral and Brain Sciences 16 (2):363-364.details
|
|
Mental models, more or less.Thad A. Polk - 1993 - Behavioral and Brain Sciences 16 (2):362-363.details
|
|
(1 other version)Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.details
|
|
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New Yorkdetails
|
|
Deduction and degrees of belief.David Over - 1993 - Behavioral and Brain Sciences 16 (2):361-362.details
|
|
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.details
|
|
Mental models and the tractability of everyday reasoning.Mike Oaksford - 1993 - Behavioral and Brain Sciences 16 (2):360-361.details
|
|
On the existence of a modal antinomy.Gunnar Niemi - 1972 - Synthese 23 (4):463 - 476.details
|
|
Do mental models provide an adequate account of syllogistic reasoning performance?Stephen E. Newstead - 1993 - Behavioral and Brain Sciences 16 (2):359-360.details
|
|
A complete negationless system.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.details
|
|
A Logic for Best Explanations.Jared Millson & Christian Straßer - 2019 - Journal of Applied Non-Classical Logics 29 (2):184-231.details
|
|
A compact representation of proofs.Dale A. Miller - 1987 - Studia Logica 46 (4):347 - 370.details
|
|
(2 other versions)Abduction through semantic tableaux versus abduction through goal-directed proofs.Joke Meheus & Dagmar Provijn - 2009 - Theoria 22 (3):295-304.details
|
|
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.details
|
|
Infinitary tableau for semantic truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.details
|
|
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.details
|
|
A Note on the Admissibility of Cut in Relevant Tableau Systems.Michael A. McRobbie & Robert K. Meyer - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (32):511-512.details
|
|
Models for deontic deduction.K. I. Manktelow - 1993 - Behavioral and Brain Sciences 16 (2):357-357.details
|
|