Gabriele Pulcini

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 10

Top Topics

Cut Elimination

Revision Operators

Classical Logic

Top Venues

Arch. Math. Log.

Rev. Symb. Log.

J. Log. Comput.

Publications

Gabriele Pulcini
Cut elimination by unthreading. Arch. Math. Log. 63 (1) (2024)
Gabriele Pulcini, Achille C. Varzi
Complementary Proof Nets for Classical Logic. Logica Universalis 17 (4) (2023)
Mario Piazza, Gabriele Pulcini, Andrea Sabatini
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry. J. Philos. Log. 52 (6) (2023)
Mario Piazza, Gabriele Pulcini, Matteo Tesi
Fractional-Valued Modal Logic. Rev. Symb. Log. 16 (4) (2023)
Gabriele Pulcini
A note on cut-elimination for classical propositional logic. Arch. Math. Log. 61 (3-4) (2022)
Mario Piazza, Gabriele Pulcini
Fractional Semantics for Classical Logic. Rev. Symb. Log. 13 (4) (2020)
Gabriele Pulcini, Achille C. Varzi
Paraconsistency in classical logic. Synth. 195 (12) (2018)
Mario Piazza, Gabriele Pulcini
Unifying logics via context-sensitiveness. J. Log. Comput. 27 (1) (2017)
Walter Alexandre Carnielli, Gabriele Pulcini
Cut-elimination and deductive polarization in complementary classical logic. Log. J. IGPL 25 (3) (2017)
Mario Piazza, Gabriele Pulcini
Uniqueness of axiomatic extensions of cut-free classical propositional logic. Log. J. IGPL 24 (5) (2016)
Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
A logical calculus for controlled monotonicity. J. Appl. Log. 12 (4) (2014)
Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
A logic of non-monotonic interactions. J. Appl. Log. 11 (1) (2013)
Gabriele Pulcini
Rewriting systems for the surface classification theorem. Math. Struct. Comput. Sci. 20 (4) (2010)
Gabriele Pulcini
A geometrical procedure for computing relaxation. Ann. Pure Appl. Log. 158 (1-2) (2009)
Gabriele Pulcini
Computing surfaces via pq-permutations. Int. J. Imaging Syst. Technol. 19 (2) (2009)
Gabriele Pulcini
Computing Surfaces via pq-Permutations. IWCIA Special Track on Applications (2008)
Gabriele Pulcini
Permutative Additives and Exponentials. LPAR (2007)
Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
Permutative Logic. CSL (2005)