Compatibility and Implication from a Non-Classical Perspective (with A. Iacona), Journal of Philosophical Logic (2026) [Open Access]
Substructural Routes to Variable Inclusion (with A. Borzi), Journal of Logic, Language and Information (2026) [Open Access]
Uniform Weak Kleene Logics (with A. Borzi), Australasian Journal of Logic (2026) [Open Access]
The Algebra of Analytic Containment (with F. Paoli and D. Szmuc), Journal of Logic, Language and Information (2026) [online][preprint]
Non-deterministic Semantics for logics of Analytic Implication (with D. Szmuc), Erkenntnis, (2025) [online][preprint]
On a Generalization of all Strong Kleene Generalizations of Classical Logic (with P. Cobreros, I. Grábalos, J. S. Toranzo Calderón, J. Viñeta), Studia Logica (2025) [Open Access]
Contradictions are Meaningless (with A. Borzi and D. Szmuc), In Rodrigues A. and Antunes H., eds., Negations, gaps, and gluts, Synthese Library, Springer (forthcoming)
Non-reflexive Logics (with J. S. Toranzo Calderón), in: Teijeiro P. and Barrio E., eds., Metainferences in Substructural Logics, Springer (2026)
Varieties of De Morgan bisemilattices (with F. Paoli, D. Szmuc and A. Borzi) [arXiv]
De Morgan bisemilattices are expansions of distributive bisemilattices by an involution satisfying De Morgan properties. They have attracted interest both as algebraic models of analytic containment logics, and as a case study for a certain generalisation of the Płonka sum construction (De Morgan- Płonka sums). In this paper, we provide a complete description of the lattice of subvarieties of the variety DMBL of De Morgan bisemilattices. For each subvariety in the lattice, we identify a finite set of finite generators, a characterisation of the De Morgan-Płonka representations of its members, and a syntactic description of its valid identities. In many cases, we also give an axiomatisation relative to DMBL.
The Dark Side of a Structural Logic (with A. Borzi)
Some authors developed a two-sided conception of what a logic is, distinguishing between its positive and its negative sides, the former being what the logic accepts, i.e. the set of its validities, the latter being what the logic rejects, i.e. the set of its antivalidities (unsatisfiable inferences). In this work we consider a more general account of what could be the negative part of a logic, which includes the former as a particular instance. Building on this idea, we dualize the general construction developed by Szmuc (2023), showing that for every structural logic, we can construct a logic that shares exactly its negative part.
Variable and Content Inclusion in Modal Logic (with G. Rosella, A. Borzi, D. Szmuc)
This paper investigates the application of two-address semantics to modal logic: a framework that employs bi-dimensional valuations to capture truth-conditional and topical dimensions of a proposition, in accordance with a two-component view of propositional content. This framework has proven successful in characterizing content inclusion logics in the (non-modal) propositional setting—namely, systems based on the joint preservation of truth and subject matter—but its extension to modal languages remains largely unexplored. We define two-address valuations—which maintain classical Kripke semantics and interpret the topics of modal formulas into a suitable semilattice—to advance two types of content and variable inclusion modal logics: one with topic-transparent modalities, yielding systems characterized by plain variable inclusion, and another with topic-transformative modalities, enforcing a depth-sensitive form of variable inclusion.
Models for External Connexive Conditionals (with M. Rubin)
The goal of this work is to defend that indicative conditionals should be connexive, yet, we argue, different logics of indicative conditionals should satisfy different connexive principles depending on what is the aspect they are aiming to model. How to determine this will depend on what these theories understand as logic and how the different elements in the model are interpreted. To achieve this goal, we introduce the concept of external connexivity and use as a case study a family of three-valued logics for indicative conditionals.
Topical Recapture for Content Inclusion Logics
Content inclusion logics form a family of systems whose consequence relation admits a Yablovian reading, on which content inclusion amounts to implication plus preservation of topic. Accordingly, the notion of validity proper to these systems is commonly labeled topic-sensitive, in opposition to the standard topic-neutral conception, on which logic preserves truth irrespective of topic distinctions. The present work proposes a procedure for "recapturing" topic-neutrality, i.e. recovering topic-neutral inferences, within such topic-sensitive consequence relations. The strategy consists in enriching the language of content inclusion logics with topicality operators that allow one to express whether a formula is about a given topic.
Please feel free to email me (see the contacts section) for more info on my work in progress and for drafts!