- Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.details
|
|
Semantics and the Justification of Deductive Inference.Ebba Gullberg & Sten Lindström - 2007 - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.details
|
|
On truth-conditions for if (but not quite only if ).Anthony S. Gillies - 2009 - Philosophical Review 118 (3):325-349.details
|
|
Logical pluralism.Lloyd Humberstone - 2009 - Australasian Journal of Philosophy 87 (1):162 – 168.details
|
|
Heidegger's topology: Being, place, world.Sean Ryan - 2009 - Australasian Journal of Philosophy 87 (1):169 – 171.details
|
|
The Nature of Appearance in Kant’s Transcendentalism: A Seman- tico-Cognitive Analysis.Sergey L. Katrechko - 2018 - Kantian Journal 37 (3):41-55.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
|
|
Two theorems on many-valued logics.Z. Stachniak - 1988 - Journal of Philosophical Logic 17 (2):171 - 179.details
|
|
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.details
|
|
Expressive power and semantic completeness: Boolean connectives in modal logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.details
|
|
Modal logic as metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.details
|
|
Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.details
|
|
Foundations of conditional logic.Johan Benthem - 1984 - Journal of Philosophical Logic 13 (3):303 - 349.details
|
|
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.details
|
|
The Non-Categoricity of Logic (II). Multiple-Conclusions and Bilateralist Logics (In Romanian).Constantin C. Brîncuș - 2023 - Probleme de Logică (Problems of Logic) (1):139-162.details
|
|
Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2020 - Synthese 198 (8):7073-7096.details
|
|
Are the open-ended rules for negation categorical?Constantin C. Brîncuș - 2019 - Synthese 198 (8):7249-7256.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.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
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.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
|
|
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.details
|
|
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
Negation by iteration.I. L. Humberstone - 1995 - Theoria 61 (1):1-24.details
|
|
Critical notice.J. F. A. K. Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
Critical notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.details
|
|
The variety of consequence, according to Bolzano.Johan Benthem - 1985 - Studia Logica 44 (4):389 - 403.details
|
|
(Meta)inferential levels of entailment beyond the Tarskian paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2019 - Synthese 198 (S22):5265-5289.details
|
|
(1 other version)Idealization, Abduction, and Progressive Scientific Change.Xavier de Donato-Rodríguez - 2009 - Theoria 22 (3):331-338.details
|
|
(1 other version)Logic and the Classification of Philosophical Systems.Gabriella Crocco - 2016 - Philosophia Scientiae 20:127-148.details
|
|
A fully classical truth theory characterized by substructural means.Federico Matías Pailos - 2020 - Review of Symbolic Logic 13 (2):249-268.details
|
|
A recovery operator for nontransitive approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.details
|
|
Foundations of Conditional Logic.Johan Van Benthem - 1984 - Journal of Philosophical Logic 13 (3):303-349.details
|
|
A meta-logic of inference rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).details
|
|
Admissibility and refutation: some characterisations of intermediate logics.Jeroen P. Goudsmit - 2014 - Archive for Mathematical Logic 53 (7-8):779-808.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 Jacobson Radical of a Propositional Theory.Giulio Fellin, Peter Schuster & Daniel Wessel - 2022 - Bulletin of Symbolic Logic 28 (2):163-181.details
|
|
A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.details
|
|
Eliminating disjunctions by disjunction elimination.Davide Rinaldi, Peter Schuster & Daniel Wessel - 2017 - Bulletin of Symbolic Logic 23 (2):181-200.details
|
|
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.details
|
|
The Logical Structure of Truthmaking.Staffan Angere - 2015 - Journal of Philosophical Logic 44 (4):351-374.details
|
|
Mathematical reasoning vs. abductive reasoning: A structural approach.Atocha Aliseda - 2003 - Synthese 134 (1-2):25 - 44.details
|
|
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.details
|
|
Aristotelian diagrams for semantic and syntactic consequence.Lorenz Demey - 2018 - Synthese 198 (1):187-207.details
|
|
The Variety of Consequence, According to Bolzano.Johan van Benthem - 1985 - Studia Logica 44 (4):389-403.details
|
|
What is the Logic of Inference?Jaroslav Peregrin - 2008 - Studia Logica 88 (2):263-294.details
|
|
Theory and Reality : Metaphysics as Second Science.Staffan Angere - unknowndetails
|
|