Permutative Logic. - Jean-Marc Andreoli; Gabriele Pulcini; Paul Ruet (CSL, 2005)

Permutative Additives and Exponentials. - Gabriele Pulcini (LPAR, 2007)

A geometrical procedure for computing relaxation. - Gabriele Pulcini (Ann. Pure Appl. Log., 2009)

Computing surfaces via pq-permutations. - Gabriele Pulcini (Int. J. Imaging Syst. Technol., 2009)

Rewriting systems for the surface classification theorem. - Gabriele Pulcini (Math. Struct. Comput. Sci., 2010)

A logic of non-monotonic interactions. - Giovanni Boniolo; Marcello D'Agostino; Mario Piazza; Gabriele Pulcini (J. Appl. Log., 2013)

A logical calculus for controlled monotonicity. - Marcello D'Agostino; Mario Piazza; Gabriele Pulcini (J. Appl. Log., 2014)

Uniqueness of axiomatic extensions of cut-free classical propositional logic. - Mario Piazza; Gabriele Pulcini (Log. J. IGPL, 2016)

Cut-elimination and deductive polarization in complementary classical logic. - Walter Alexandre Carnielli; Gabriele Pulcini (Log. J. IGPL, 2017)

Unifying logics via context-sensitiveness. - Mario Piazza; Gabriele Pulcini (J. Log. Comput., 2017)

Paraconsistency in classical logic. - Gabriele Pulcini; Achille C. Varzi (Synth., 2018)

Fractional Semantics for Classical Logic. - Mario Piazza; Gabriele Pulcini (Rev. Symb. Log., 2020)

A note on cut-elimination for classical propositional logic. - Gabriele Pulcini (Arch. Math. Log., 2022)

Abduction as Deductive Saturation: a Proof-Theoretic Inquiry. - Mario Piazza; Gabriele Pulcini; Andrea Sabatini (J. Philos. Log., 2023)

Complementary Proof Nets for Classical Logic. - Gabriele Pulcini; Achille C. Varzi (Logica Universalis, 2023)

Fractional-Valued Modal Logic. - Mario Piazza; Gabriele Pulcini; Matteo Tesi (Rev. Symb. Log., 2023)

Linear logic in a refutational setting. - Mario Piazza; Gabriele Pulcini; Matteo Tesi (J. Log. Comput., 2024)

Cut elimination by unthreading. - Gabriele Pulcini (Arch. Math. Log., 2024)