G
Gianluigi Bellin
Researcher at University of Verona
Publications - 26
Citations - 380
Gianluigi Bellin is an academic researcher from University of Verona. The author has contributed to research in topics: Linear logic & Intuitionistic logic. The author has an hindex of 11, co-authored 26 publications receiving 372 citations. Previous affiliations of Gianluigi Bellin include Queen Mary University of London & Stanford University.
Papers
More filters
Subnets of proof-nets in MLL -
Gianluigi Bellin,J. van de Wiele +1 more
TL;DR: Very simple proofs are obtained of known results on proof-nets for MLL ?
Journal ArticleDOI
Categorical proof theory of classical propositional calculus
TL;DR: It is shown that the propositional connectives are not quite well-behaved from a traditional categorical perspective, and a more refined, but necessarily complex, analysis of how connectives may be characterised abstractly is given.
Journal ArticleDOI
Subnets of proof-nets in multiplicative linear logic with MIX
TL;DR: This paper studies the properties of the subnets of a proof-net for first-order Multiplicative Linear Logic without propositional constants extended with the rule of Mix, and gives a general method for translating Abramsky-style term assignments into proof-nets.
Journal ArticleDOI
Towards a Logic for Pragmatics. Assertions and Conjectures
Gianluigi Bellin,Corrado Biasi +1 more
TL;DR: This work gives sequent calculi of type G3i and G3im inspired by Girard's LU, with subsystems characterizing intuitionistic reasoning and some forms of classical reasoning with such operators.