Concepedia

Gabriele Pulcini

GP

Statistics

Publications

5

Citations

65

H-Index

5

Active since

2014

Affiliations

University of Chieti-Pescara(Current)

Universidade Estadual de Campinas (UNICAMP)

University of Ferrara

Gabriele Pulcini is an author at University of Chieti-Pescara specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningLanguageSemanticsLinguisticsVerificationBioinformaticsSystems BiologyComputer Science

Publications per year

2014–2019

5

Publications

5

Unifying logics via context-sensitiveness

Mario Piazza, Gabriele Pulcini · Journal of Logic and Computation · 2015 · 18 citations · Full text

Non-classical Logic, Engineering, Substructural Logic +15

A logical calculus for controlled monotonicity

Marcello D’Agostino, Mario Piazza, Gabriele Pulcini · Journal of Applied Logic · 2014 · 12 citations

Applied Logic, Computational Logic, Engineering +4

Uniqueness of axiomatic extensions of cut-free classical propositional logic

Mario Piazza, Gabriele Pulcini · Logic Journal of IGPL · 2016 · 12 citations · Full text

FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC

Mario Piazza, Gabriele Pulcini · The Review of Symbolic Logic · 2019 · 12 citations · Full text

Adding logic to the toolbox of molecular biology

Giovanni Boniolo, Marcello D’Agostino, Mario Piazza et al. · European Journal for Philosophy of Science · 2015 · 11 citations · Full text

Engineering, Computational Biology, Synthetic Biology +6

1–5 of 5