Gabriele Pulcini

20 papers B 2Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Hypersequent Calculus for Classical Contingencies.
J. Philos. Log.
Gabriele Pulcini, Achille C. Varzi
2024 J jnl
Cut elimination by unthreading.
Arch. Math. Log.
Gabriele Pulcini
2024 J jnl
Linear logic in a refutational setting.
J. Log. Comput.
Mario Piazza, Gabriele Pulcini, Matteo Tesi
2023 J jnl
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.
J. Philos. Log.
Mario Piazza, Gabriele Pulcini, Andrea Sabatini
2023 J jnl
Complementary Proof Nets for Classical Logic.
Logica Universalis
Gabriele Pulcini, Achille C. Varzi
2023 J jnl
Fractional-Valued Modal Logic.
Rev. Symb. Log.
Mario Piazza, Gabriele Pulcini, Matteo Tesi
2022 J jnl
A note on cut-elimination for classical propositional logic.
Arch. Math. Log.
Gabriele Pulcini
2020 J jnl
Fractional Semantics for Classical Logic.
Rev. Symb. Log.
Mario Piazza, Gabriele Pulcini
2018 J jnl
Paraconsistency in classical logic.
Synth.
Gabriele Pulcini, Achille C. Varzi
2017 J jnl
Cut-elimination and deductive polarization in complementary classical logic.
Log. J. IGPL
Walter Alexandre Carnielli, Gabriele Pulcini
2017 J jnl
Unifying logics via context-sensitiveness.
J. Log. Comput.
Mario Piazza, Gabriele Pulcini
2016 J jnl
Uniqueness of axiomatic extensions of cut-free classical propositional logic.
Log. J. IGPL
Mario Piazza, Gabriele Pulcini
2014 J jnl
A logical calculus for controlled monotonicity.
J. Appl. Log.
Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2013 J jnl
A logic of non-monotonic interactions.
J. Appl. Log.
Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2010 J jnl
Rewriting systems for the surface classification theorem.
Math. Struct. Comput. Sci.
Gabriele Pulcini
2009 J jnl
A geometrical procedure for computing relaxation.
Ann. Pure Appl. Log.
Gabriele Pulcini
2009 J jnl
Computing surfaces via pq-permutations.
Int. J. Imaging Syst. Technol.
Gabriele Pulcini
2008 — conf
Computing Surfaces via pq-Permutations.
IWCIA Special Track on Applications
Gabriele Pulcini
2007 B conf
Permutative Additives and Exponentials.
LPAR
Gabriele Pulcini
2005 B conf
Permutative Logic.
CSL
Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet