- A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.details
|
|
(I can’t get no) antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.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
|
|
Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates.Rea Golan - 2022 - Journal of Philosophical Logic 51 (6):1295–1325.details
|
|
Metainferential duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.details
|
|
Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.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
|
|
(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)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Strength and Stability.Paula Teijeiro - 2021 - Análisis Filosófico 41 (2):337-349.details
|
|
On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - 2024 - Review of Symbolic Logic 17 (3):682-704.details
|
|
Substructural logics, pluralism and collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2018 - Synthese 198 (Suppl 20):4991-5007.details
|
|
Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.details
|
|
Capturing naive validity in the Cut-free approach.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2016 - Synthese 199 (Suppl 3):707-723.details
|
|
A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy.Ulf Hlobil - 2022 - Synthese 200 (5):1-23.details
|
|
Anti-exceptionalism, truth and the BA-plan.Eduardo Alejandro Barrio, Federico Pailos & Joaquín Toranzo Calderón - 2021 - Synthese 199 (5-6):12561-12586.details
|
|
The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - 2022 - Journal of Philosophical Logic 52 (1):313-343.details
|
|
Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.details
|
|
A family of metainferential logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.details
|
|
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
Theories of truth and the maxim of minimal mutilation.Ole Thomassen Hjortland - 2017 - Synthese 199 (Suppl 3):787-818.details
|
|
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2021 - Journal of Philosophical Logic 51 (6):1417-1452.details
|
|
Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2020 - Synthese 198 (8):7073-7096.details
|
|
From many-valued consequence to many-valued connectives.Emmanuel Chemla & Paul Egré - 2018 - Synthese 198 (S22):5315-5352.details
|
|
A Family of Strict/Tolerant Logics.Melvin Fitting - 2020 - Journal of Philosophical Logic 50 (2):363-394.details
|
|
There is no tenable notion of global metainferential validity.Rea Golan - 2021 - Analysis 81 (3):411-420.details
|
|
Immune Logics.Bruno da Re & Damian Szmuc - 2021 - Australasian Journal of Logic 18 (1):29-52.details
|
|
Validities, antivalidities and contingencies: A multi-standard approach.Eduardo Barrio & Federico Pailos - 2021 - Journal of Philosophical Logic 51 (1):75-98.details
|
|
(1 other version)Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - 2023 - Studia Logica 111 (6):947-977.details
|
|
Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.details
|
|
Naive Set Theory and Nontransitive Logic.David Ripley - 2015 - Review of Symbolic Logic 8 (3):553-571.details
|
|
Empty Logics.Federico Pailos - 2021 - Journal of Philosophical Logic 51 (6):1387-1415.details
|
|
The very idea of a substructural approach to paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.details
|
|
Metainferential Reasoning on Strong Kleene Models.Andreas Fjellstad - 2021 - Journal of Philosophical Logic 51 (6):1327-1344.details
|
|
Deep ST.Thomas M. Ferguson & Elisángela Ramírez-Cámara - 2021 - Journal of Philosophical Logic 51 (6):1261-1293.details
|
|
Structural Weakening and Paradoxes.Bruno Da Ré - 2021 - Notre Dame Journal of Formal Logic 62 (2):369-398.details
|
|
Why a Logic is not only its Set of Valid Inferences.Eduardo A. Barrio & Federico Pailos - 2021 - Análisis Filosófico 41 (2):261-272.details
|
|
Metainferential Paraconsistency.Bruno Da Ré, Mariela Rubin & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1-26.details
|
|
Truth values.Yaroslav Shramko - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Editorial Introduction: Substructural Logics and Metainferences.Eduardo Barrio & Paul Égré - 2022 - Journal of Philosophical Logic 51 (6):1215-1231.details
|
|
Web Consequence Untangled.Stephan Krämer - forthcoming - Topoi.details
|
|
Non-transitive counterparts of every Tarskian logic.Damian E. Szmuc - 2024 - Analysis 84 (2):320-326.details
|
|
Not a Knot.Paula Teijeiro - 2020 - Thought: A Journal of Philosophy 9 (1):14-24.details
|
|
Expressing Validity: Towards a Self-Sufficient Inferentialism.Ulf Hlobil - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 67-82.details
|
|
(1 other version)Metasequents and Tetravaluations.Rohan French - 2022 - Journal of Philosophical Logic 51 (6):1453-1476.details
|
|
(1 other version)Metasequents and Tetravaluations.Rohan French - 2021 - Journal of Philosophical Logic 51 (6):1-24.details
|
|
Fragility and Strength.Teodor-Tiberiu Călinoiu & Daniele Bruno Garancini - 2024 - Analysis 84.details
|
|
Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism.Bogdan Dicher - forthcoming - Analysis.details
|
|