Non-deterministic semantics for logics of analytic implication (with M. Zirattu), Erkenntnis, forthcoming [Preprint]
Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems (with B. Da Ré), Journal of Logic and Computation, forthcoming [Preprint]
Non-reflexive Nonsense: Proof-Theory for Paracomplete Weak Kleene Logic (with B. Da Ré and M. I. Corbalán), Studia Logica, 112 (6): 112, 1243–1259, 2024 [Preprint]
Non-transitive counterparts of every Tarskian logic, Analysis, 84 (2): 320-326, 2024 [Preprint]
On three-valued presentations of Classical Logic (with B. Da Ré, E. Chemla, and P. Egré), Review of Symbolic Logic, 17 (3): 682-704, 2024 [Preprint]
Pure Refined Variable Inclusion Logics (with M. Rubin), Australasian Journal of Logic, 19 (5): 147-166, 2022 [Open Access]
Derivability and Metainferential Validity (with B. Da Ré and P. Teijeiro), Journal of Philosophical Logic, 51 (6): 1521-1547, 2022 [Preprint]
Pure Variable Inclusion Logics (with F. Paoli and M. Pra Baldi), Logic and Logical Philosophy, 30 (4): 631-652, 2021 [Open Access]
The (greatest) fragment of Classical Logic that respects the Variable-Sharing Principle (in the Fmla-Fmla framework), Bulletin of the Section of Logic, 50 (4): 421-453, 2021 [Open Access]
(Meta)inferential levels of entailment beyond the Tarskian paradigm (with E. Barrio and F. Pailos), Synthese, 198 (22): 5265-5289, 2021 [Preprint]
Substructural Logics, Pluralism, and Collapse (with E. Barrio and F. Pailos), Synthese, 198 (20): 4991-5007, 2021 [Preprint]
Inferentialism and Relevance: the case of Connexivity, Análisis Filosófico, 41 (2): 317-336, 2021 [Open Access]
Meaningless Divisions (with T. Ferguson), Notre Dame Journal of Formal Logic, 62 (3): 399-424, 2021 [Preprint]
A simple logical matrix and sequent calculus for Parry's logic of Analytic Implication, Studia Logica, 109 (4):791-828, 2021 [Preprint]
Immune Logics (with B. Da Ré), Australasian Journal of Logic, 18 (1): 29-52, 2021 [Open Access]
Metainferential Duality (with B. Da Ré, F. Pailos and P. Teijeiro), Journal of Applied Non-Classical Logics, 30 (4): 312-334, 2020 [Preprint]
A Hierarchy of Classical and Paraconsistent Logics (with E. Barrio and F. Pailos), Journal of Philosopical Logic, 49 (1): 193-120, 2020 [Preprint]
Theories of truth based on four-valued infectious logics (with B. Da Ré and F. Pailos), Logic Journal of the IGPL, 28 (5): 712-746, 2020. [Preprint]
A recovery operator for non-transitive approaches (with E. Barrio and F. Pailos), Review of Symbolic Logic, 13 (1): 80-104, 2020 [Preprint]
Logics Based on Linear Orders of Contaminating Values (with R. Ciuni and T. Ferguson), Journal of Logic and Computation, 29 (1): 631-663, 2019 [Preprint]
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic, Logic and Logical Philosophy, 28 (2): 277-330, 2019 [Open Access]
Two-valued Weak Kleene Logics (with B. Da Ré), Manuscrito, 42 (1): 1-43, 2019 [Open Access]
A Note on Goddard and Routley's Significance Logics (with H. Omori), Australasian Journal of Logic, 15 (2): 431-448, 2018 [Open Access]
Relevant Logics Obeying Component Homogeneity (with R. Ciuni and T. Ferguson), Australasian Journal of Logic, 15 (2): 301-361, 2018 [Open Access]
Remarks on the Epistemic Interpretation of Paraconsistent Logic (with N. Lo Guercio), Principia, 22 (1): 153-170, 2018 [Open Access]
A Paraconsistent Route to Semantic Closure (with E. Barrio and F. Pailos), Logic Journal of the IGPL, 25 (4): 387-407, 2017 [Preprint]
Defining LFIs and LFUs in extensions of infectious logics, Journal of Applied Non-Classical Logics, 26 (4): 286-314, 2017 [Preprint]
On Pathological Truths (with L. Rosenblatt), Review of Symbolic Logic, 7 (4): 601-617, 2014 [Preprint]
A New Hope for Philosophers’ Appeal to Intuition, Essays in Philosophy, 13(1): 336-353, 2012 [Open Access]
Liberating classical negation from falsity conditions (with H. Omori). In: Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022). Los Alamitos, CA: IEEE Computer Society Press, 2022, pp. 131-136. [Preprint]
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics (with R. Ciuni and T. Ferguson). In: R. Iemhoff, M. Moortgat and R. de Queiroz, eds., Logic, Language, Information, and Computation: 26th International Workshop. Berlin: Springer, 2019, pp. 119-139 [Preprint]
Track-Down Operations on Bilattices. In: Proceedings of the 48th International Symposium on Multiple-Valued Logic (ISMVL 2018). Los Alamitos, CA: IEEE Computer Society Press, 2018, pp. 74-79 [Preprint]
What is a Paraconsistent Logic? (with E. Barrio and F. Pailos). In: W. Carnielli and J. Malinowski, eds., Contradictions, from Consistency to Inconsistency. Cham: Springer, 2018, pp. 89-108 [Preprint]
Conjunction and Disjunction in Infectious Logics (with H. Omori). In: A. Baltag, J. Seligman, and T. Yamada, eds., Logic, Rationality, and Interaction: 6th International Workshop. Berlin: Springer, 2017, pp. 268-283 [Preprint]