Search Results - "Da Ré, B."

Tableaux for metainferential logics.

Authors: Bavosa Castro, A. Borzi, A. Da Ré, B. et al.

Source: Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p

Multilateral Supervaluationism and Classicality: Multilateral Supervaluationism and Classicality: B. Kortenbach et al.

Authors: Kortenbach, Bas Incurvati, Luca Schloeder, Julian J.

Source: Journal of Philosophical Logic; Feb2025, Vol. 54 Issue 1, p247-290, 44p

ST and TS as Product and Sum.

Authors: Blomet, Quentin Égré, Paul

Source: Journal of Philosophical Logic; Dec2024, Vol. 53 Issue 6, p1673-1700, 28p

Sequent Calculi for First-order ST.

Authors: Paoli, Francesco Přenosil, Adam

Source: Journal of Philosophical Logic; Oct2024, Vol. 53 Issue 5, p1291-1320, 30p

How we learned to stop worrying and love tonk.

Alternate Title: Cómo aprendimos a dejar de preocuparnos y a amar a tonk.

Authors: Estrada-González, Luis Romero-Rodríguez, Christian

Source: Theoria: An International Journal for Theory, History & Foundations of Science. Jan2026, Vol. 41 Issue 1, p5-21. 17p.

A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic.

Authors: Golan, Rea¹, reagolan@gmail.com

Source: Journal of Philosophical Logic; Dec2024, Vol. 53 Issue 6, p1701-1716, 16p

META-CLASSICAL NON-CLASSICAL LOGICS.

Authors: BARRIO, EDUARDO FIORE, CAMILLO PAILOS, FEDERICO

Source: Review of Symbolic Logic. Dec2024, Vol. 17 Issue 4, p1146-1171. 26p.

Toward a Stronger Constraint for Non-Trivial Inconsistent Theories.

Authors: Mesquita, Antônio¹, antonio.mesquita@uam.es

Source: Logic & Logical Philosophy; Sep2025, Vol. 34 Issue 3, p417-447, 31p

WHAT ARE METAINFERENCES?

Alternate Title: ¿Qué son las metainferencias?

Authors: Lisboa, Miguel Álvarez miguel.alvarez@um.uchile.cl

Source: Theoria: An International Journal for Theory, History & Foundations of Science. Sep2025, Vol. 40 Issue 3, p321-334. 14p.

The import of hypodoxes for the Liar and Russell’s paradoxes.

Authors: Eldridge-Smith, Peter¹, peter.eldridge-smith@anu.edu.au

Source: Synthese; Oct2023, Vol. 202 Issue 4, p1-28, 28p

Anti-exceptionalism, truth and the BA-plan.

Authors: Barrio, Eduardo Alejandro Pailos, Federico Calderón, Joaquín Toranzo

Source: Synthese; Dec2021, Vol. 199 Issue 5/6, p12561-12586, 26p

Logics of left variable inclusion and Płonka sums of matrices.

Authors: Bonzio, S. Moraschini, T. Pra Baldi, M.

Source: Archive for Mathematical Logic; 2021, Vol. 60 Issue 1/2, p49-76, 28p

Defusing a Paradox to a Hypodox.

Authors: Eldridge-Smith, Peter¹, peter.eldridge-smith@anu.edu.aupeter.eldridgesmith@gmail.com

Source: Logic & Logical Philosophy; Dec2024, Vol. 33 Issue 4, p567-614, 48p

NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS.

Authors: NICOLAI, CARLO PIAZZA, MARIO TESI, MATTEO

Source: Review of Symbolic Logic. Dec2024, Vol. 17 Issue 4, p996-1017. 22p.

A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy.

Authors: Hlobil, Ulf^1,2, ulf.hlobil@concordia.ca

Source: Synthese; Oct2022, Vol. 200 Issue 5, p1-23, 23p

Saving logic from paradox via nonclassical recapture.

Authors: Castaldo, Luca^1,2, castaldluca@gmail.com

Source: Philosophical Studies; Jul2024, Vol. 181 Issue 6/7, p1547-1563, 17p

Metainferential Paraconsisten.

Authors: Da Ré, Bruno Rubin, Mariela Teijeiro, Paula

Source: Logic & Logical Philosophy; Jun2022, Vol. 31 Issue 2, p235-260, 26p

Expressing logical disagreement from within.

Authors: Fjellstad, Andreas¹, afjellstad@gmail.com

Source: Synthese; Apr2022, Vol. 200 Issue 2, p1-10, 10p

(I can't get no) antisatisfaction.

Authors: Cobreros, Pablo La Rosa, Elio Tranchini, Luca

Source: Synthese; Sep2021, Vol. 198 Issue 9, p8251-8265, 15p

Non-transitive counterparts of every Tarskian logic.

Authors: Szmuc, Damian E¹, szmucdamian@gmail.com

Source: Analysis; Apr2024, Vol. 84 Issue 2, p320-326, 7p