Gianluigi Bellin

698 total citations
19 papers, 302 citations indexed

About

Gianluigi Bellin is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Experimental and Cognitive Psychology. According to data from OpenAlex, Gianluigi Bellin has authored 19 papers receiving a total of 302 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 2 papers in Experimental and Cognitive Psychology. Recurrent topics in Gianluigi Bellin's work include Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (15 papers) and Advanced Algebra and Logic (9 papers). Gianluigi Bellin is often cited by papers focused on Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (15 papers) and Advanced Algebra and Logic (9 papers). Gianluigi Bellin collaborates with scholars based in Italy, France and United Kingdom. Gianluigi Bellin's co-authors include Philip Scott, Valeria de Paiva, Eike Ritter, Massimiliano Carrara, Daniele Chiffi, Yves Lafont, Vincent Danos, Patrick Lincoln, Thomas Ehrhard and Vito Michele Abrusci and has published in prestigious journals such as Theoretical Computer Science, Journal of Logic and Computation and Mathematical Structures in Computer Science.

In The Last Decade

Gianluigi Bellin

18 papers receiving 273 citations

Peers

Gianluigi Bellin
Helmut Schwichtenberg Germany
Wolfgang Rautenberg Germany
Roy Dyckhoff United Kingdom
Christian G. Fermüller Austria
Grigori Mint︠s︡ United States
Jan Johannsen Germany
Fairouz Kamareddine United Kingdom
Karl Schlechta France
Nicola Olivetti Italy
R. A. Bull United Kingdom
Helmut Schwichtenberg Germany
Gianluigi Bellin
Citations per year, relative to Gianluigi Bellin Gianluigi Bellin (= 1×) peers Helmut Schwichtenberg

Countries citing papers authored by Gianluigi Bellin

Since Specialization
Citations

This map shows the geographic impact of Gianluigi Bellin's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Gianluigi Bellin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gianluigi Bellin more than expected).

Fields of papers citing papers by Gianluigi Bellin

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Gianluigi Bellin. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Gianluigi Bellin. The network helps show where Gianluigi Bellin may publish in the future.

Co-authorship network of co-authors of Gianluigi Bellin

This figure shows the co-authorship network connecting the top 25 collaborators of Gianluigi Bellin. A scholar is included among the top collaborators of Gianluigi Bellin based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Gianluigi Bellin. Gianluigi Bellin is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

19 of 19 papers shown
1.
Bellin, Gianluigi, et al.. (2018). Proof Nets for Bi-Intuitionistic Linear Logic. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 108. 18.
2.
Bellin, Gianluigi, Massimiliano Carrara, & Daniele Chiffi. (2015). On an intuitionistic logic for pragmatics. Journal of Logic and Computation. exv036–exv036. 12 indexed citations
3.
Bellin, Gianluigi, et al.. (2015). Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”. Logic and Logical Philosophy. 25(2). 225–233. 2 indexed citations
4.
Bellin, Gianluigi, et al.. (2014). On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems. Fundamenta Informaticae. 130(1). 21–65. 3 indexed citations
5.
Bellin, Gianluigi. (2014). Categorical Proof Theory of Co-Intuitionistic Linear Logic. Logical Methods in Computer Science. Volume 10, Issue 3. 6 indexed citations
6.
Bellin, Gianluigi, et al.. (2014). Pragmatic and dialogic interpretations of bi-intuitionism. Part I. Logic and Logical Philosophy. 23(4). 449–480. 12 indexed citations
7.
Bellin, Gianluigi, Martin Hyland, E. Powell Robinson, & Christian Urban. (2006). Categorical proof theory of classical propositional calculus. Theoretical Computer Science. 364(2). 146–165. 19 indexed citations
8.
Bellin, Gianluigi. (2004). Towards a Logic for Pragmatics. Assertions and Conjectures. Journal of Logic and Computation. 14(4). 473–506. 15 indexed citations
9.
Bellin, Gianluigi. (2003). A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. Journal of Logic and Computation. 13(5). 755–775. 6 indexed citations
10.
Bellin, Gianluigi, Valeria de Paiva, & Eike Ritter. (2001). Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic. 30 indexed citations
11.
Bellin, Gianluigi & Anne Fleury. (1998). Planar and braided proof-nets for multiplicative linear logic with mix. Archive for Mathematical Logic. 37(5-6). 309–325. 4 indexed citations
12.
Bellin, Gianluigi, et al.. (1998). Planar and Braided Proof-nets for MLL with Mix. 37. 309–325. 1 indexed citations
13.
Bellin, Gianluigi. (1997). Subnets of proof-nets in multiplicative linear logic with MIX. Mathematical Structures in Computer Science. 7(6). 663–669. 8 indexed citations
14.
Girard, Jean-Yves, J. Lambek, Andreas Blass, et al.. (1995). Advances in Linear Logic. Cambridge University Press eBooks. 93 indexed citations
15.
Bellin, Gianluigi & J. Van de Wiele. (1995). Subnets of proof-nets in MLL -. 249–270. 10 indexed citations
16.
Bellin, Gianluigi & Philip Scott. (1994). On the π-calculus and linear logic. Theoretical Computer Science. 135(1). 11–65. 65 indexed citations
17.
Bellin, Gianluigi & Jussi Ketonen. (1992). A decision procedure revisited: notes on direct logic, linear logic and its implementation. Theoretical Computer Science. 95(1). 115–142. 3 indexed citations
18.
Feferman, Solomon & Gianluigi Bellin. (1990). Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information. 6 indexed citations
19.
Bellin, Gianluigi. (1985). A system of natural deduction for GL. Theoria. 51(2). 89–114. 7 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Helmut Schwichtenberg Breakdown of academic impact, for papers by Wolfgang Rautenberg Breakdown of academic impact, for papers by Roy Dyckhoff Breakdown of academic impact, for papers by Christian G. Fermüller Breakdown of academic impact, for papers by Grigori Mint︠s︡ Breakdown of academic impact, for papers by Jan Johannsen Breakdown of academic impact, for papers by Fairouz Kamareddine Breakdown of academic impact, for papers by Karl Schlechta Breakdown of academic impact, for papers by Nicola Olivetti Breakdown of academic impact, for papers by R. A. Bull
Rankless by CCL
2026