- The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.details
|
|
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.details
|
|
What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Walter Carnielli & Jacek Malinowski (eds.), Contradictions, from Consistency to Inconsistency. Cham, Switzerland: Springer.details
|
|
Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.details
|
|
Are the open-ended rules for negation categorical?Constantin C. Brîncuș - 2019 - Synthese 198 (8):7249-7256.details
|
|
The Variety of Consequence, According to Bolzano.Johan van Benthem - 1985 - Studia Logica 44 (4):389-403.details
|
|
Foundations of Conditional Logic.Johan Van Benthem - 1984 - Journal of Philosophical Logic 13 (3):303-349.details
|
|
Critical notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
Two theorems on many-valued logics.Z. Stachniak - 1988 - Journal of Philosophical Logic 17 (2):171 - 179.details
|
|
Epistemic logic, skepticism, and non-normal modal logic.P. K. Schotch & R. E. Jennings - 1981 - Philosophical Studies 40 (1):47 - 67.details
|
|
Heidegger's topology: Being, place, world.Sean Ryan - 2009 - Australasian Journal of Philosophy 87 (1):169 – 171.details
|
|
Relevant logics and their semantics remain viable and undamaged by Lewis's equivocation charge.R. Routley & R. K. Meyer - 1983 - Topoi 2 (2):205-215.details
|
|
Eliminating disjunctions by disjunction elimination.Davide Rinaldi, Peter Schuster & Daniel Wessel - 2017 - Bulletin of Symbolic Logic 23 (2):181-200.details
|
|
Cut elimination for entailment relations.Davide Rinaldi & Daniel Wessel - 2019 - Archive for Mathematical Logic 58 (5):605-625.details
|
|
What Logics Mean: From Proof Theory to Model-Theoretic Semantics, by James W. Garson: Cambridge: Cambridge University Press, 2013, pp. xv + 285, £10.99. [REVIEW]Jaroslav Peregrin - 2015 - Australasian Journal of Philosophy 93 (3):613-616.details
|
|
What is the Logic of Inference?Jaroslav Peregrin - 2008 - Studia Logica 88 (2):263-294.details
|
|
Logic Reduced To (Proof-Theoretical) Bare Bones.Jaroslav Peregrin - 2015 - Journal of Logic, Language and Information 24 (2):193-209.details
|
|
Remarks on the Scott–Lindenbaum Theorem.Gillman Payette & Peter K. Schotch - 2014 - Studia Logica 102 (5):1003-1020.details
|
|
The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
A fully classical truth theory characterized by substructural means.Federico Matías Pailos - 2020 - Review of Symbolic Logic 13 (2):249-268.details
|
|
Logicism, Mental Models and Everyday Reasoning: Reply to Garnham.Nick Chater & Mike Oaksford - 1993 - Mind and Language 8 (1):72-89.details
|
|
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.details
|
|
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.details
|
|
Negation by iteration.I. L. Humberstone - 1995 - Theoria 61 (1):1-24.details
|
|
Logical pluralism.Lloyd Humberstone - 2009 - Australasian Journal of Philosophy 87 (1):162 – 168.details
|
|
Heterogeneous logic.I. L. Humberstone - 1988 - Erkenntnis 29 (3):395 - 435.details
|
|
Expressive power and semantic completeness: Boolean connectives in modal logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.details
|
|
Admissibility and refutation: some characterisations of intermediate logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.details
|
|
On truth-conditions for if (but not quite only if ).Anthony S. Gillies - 2009 - Philosophical Review 118 (3):325-349.details
|
|
Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment.Dov M. Gabbay - 1973 - Journal of Philosophical Logic 2 (3):340 - 351.details
|
|
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.details
|
|
The Jacobson Radical of a Propositional Theory.Giulio Fellin, Peter Schuster & Daniel Wessel - 2022 - Bulletin of Symbolic Logic 28 (2):163-181.details
|
|
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.details
|
|
Modal logic as metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.details
|
|
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2020 - Synthese 198 (8):7073-7096.details
|
|
Aristotelian diagrams for semantic and syntactic consequence.Lorenz Demey - 2018 - Synthese 198 (1):187-207.details
|
|
Idealization, Abduction, and Progressive Scientific Change.Xavier de Donato-Rodríguez - 2009 - Theoria 22 (3):331-338.details
|
|
Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.details
|
|
Logic and the Classification of Philosophical Systems.Gabriella Crocco - 2016 - Philosophia Scientiae 20:127-148.details
|
|
Horseshoe, hook, and relevance.B. J. Copeland - 1984 - Theoria 50 (2-3):148-164.details
|
|
A meta-logic of inference rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).details
|
|
The variety of consequence, according to Bolzano.Johan Benthem - 1985 - Studia Logica 44 (4):389 - 403.details
|
|
Foundations of conditional logic.Johan Benthem - 1984 - Journal of Philosophical Logic 13 (3):303 - 349.details
|
|
Critical notice.J. F. A. K. Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
(Meta)inferential levels of entailment beyond the Tarskian paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2019 - Synthese 198 (S22):5265-5289.details
|
|
A recovery operator for nontransitive approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.details
|
|
A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.details
|
|
The Logical Structure of Truthmaking.Staffan Angere - 2015 - Journal of Philosophical Logic 44 (4):351-374.details
|
|