Gabriele Pulcini

According to our database, Gabriele Pulcini authored at least 18 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cut elimination by unthreading.

Gabriele Pulcini

Arch. Math. Log., February, 2024

Linear logic in a refutational setting.

Mario Piazza, Gabriele Pulcini, Matteo Tesi

J. Log. Comput., 2024

2023

Fractional-Valued Modal Logic.

Mario Piazza, Gabriele Pulcini, Matteo Tesi

Rev. Symb. Log., December, 2023

Complementary Proof Nets for Classical Logic.

Gabriele Pulcini, Achille C. Varzi

Logica Universalis, December, 2023

Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.

Mario Piazza, Gabriele Pulcini, Andrea Sabatini

J. Philos. Log., December, 2023

2022

A note on cut-elimination for classical propositional logic.

Gabriele Pulcini

Arch. Math. Log., 2022

2020

Fractional Semantics for Classical Logic.

Mario Piazza, Gabriele Pulcini

Rev. Symb. Log., 2020

2018

Paraconsistency in classical logic.

Gabriele Pulcini, Achille C. Varzi

Synth., 2018

2017

Unifying logics via context-sensitiveness.

Mario Piazza, Gabriele Pulcini

J. Log. Comput., 2017

Cut-elimination and deductive polarization in complementary classical logic.

Walter Alexandre Carnielli, Gabriele Pulcini

Log. J. IGPL, 2017

2016

Uniqueness of axiomatic extensions of cut-free classical propositional logic.

Mario Piazza, Gabriele Pulcini

Log. J. IGPL, 2016

2014

A logical calculus for controlled monotonicity.

Marcello D'Agostino, Mario Piazza, Gabriele Pulcini

J. Appl. Log., 2014

2013

A logic of non-monotonic interactions.

Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini

J. Appl. Log., 2013

2010

Rewriting systems for the surface classification theorem.

Gabriele Pulcini

Math. Struct. Comput. Sci., 2010

2009

Computing surfaces via pq-permutations.

Gabriele Pulcini

Int. J. Imaging Syst. Technol., 2009

A geometrical procedure for computing relaxation.

Gabriele Pulcini

Ann. Pure Appl. Log., 2009

2007

Permutative Additives and Exponentials.

Gabriele Pulcini

Proceedings of the Logic for Programming, 2007

2005

Permutative Logic.

Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet

Proceedings of the Computer Science Logic, 19th International Workshop, 2005