Gabriele Pulcini

Orcid: 0000-0003-0101-0916

According to our database1, Gabriele Pulcini authored at least 17 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Cut elimination by unthreading.
Arch. Math. Log., February, 2024

2023
Fractional-Valued Modal Logic.
Rev. Symb. Log., December, 2023

Complementary Proof Nets for Classical Logic.
Logica Universalis, December, 2023

Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.
J. Philos. Log., December, 2023

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

2020
Fractional Semantics for Classical Logic.
Rev. Symb. Log., 2020

2018
Paraconsistency in classical logic.
Synth., 2018

2017
Unifying logics via context-sensitiveness.
J. Log. Comput., 2017

Cut-elimination and deductive polarization in complementary classical logic.
Log. J. IGPL, 2017

2016
Uniqueness of axiomatic extensions of cut-free classical propositional logic.
Log. J. IGPL, 2016

2014
A logical calculus for controlled monotonicity.
J. Appl. Log., 2014

2013
A logic of non-monotonic interactions.
J. Appl. Log., 2013

2010
Rewriting systems for the surface classification theorem.
Math. Struct. Comput. Sci., 2010

2009
Computing surfaces via pq-permutations.
Int. J. Imaging Syst. Technol., 2009

A geometrical procedure for computing relaxation.
Ann. Pure Appl. Log., 2009

2007
Permutative Additives and Exponentials.
Proceedings of the Logic for Programming, 2007

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


  Loading...