Gianluigi Bellin

According to our database, Gianluigi Bellin authored at least 14 papers between 1992 and 2018.

Collaborative distances:

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

2018

On an intuitionistic logic for pragmatics.

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi

J. Log. Comput., 2018

Proof Nets for Bi-Intuitionistic Linear Logic.

Gianluigi Bellin, Willem Heijltjes

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

A Cointuitionistic Adjoint Logic.

Harley Eades III, Gianluigi Bellin

CoRR, 2017

2014

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems.

Gianluigi Bellin, Alessandro Menti

Fundam. Informaticae, 2014

Categorical Proof Theory of Co-Intuitionistic Linear Logic.

Gianluigi Bellin

Log. Methods Comput. Sci., 2014

2006

Categorical proof theory of classical propositional calculus.

Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban

Theor. Comput. Sci., 2006

2004

Towards a Logic for Pragmatics. Assertions and Conjectures.

Gianluigi Bellin, Corrado Biasi

J. Log. Comput., 2004

2003

A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP.

Gianluigi Bellin, Kurt Ranalter

J. Log. Comput., 2003

Two Paradigms of Logical Computation in Affine Logic?

Gianluigi Bellin

Proceedings of the Logic for Concurrency and Synchronisation, 2003

Chu's Construction: A Proof-Theoretic Approach.

Gianluigi Bellin

Proceedings of the Logic for Concurrency and Synchronisation, 2003

1998

Planar and braided proof-nets for multiplicative linear logic with mix.

Gianluigi Bellin, Arnaud Fleury

Arch. Math. Log., 1998

1997

Subnets of Proof-Nets in Multiplicative Linear Logic with MIX.

Gianluigi Bellin

Math. Struct. Comput. Sci., 1997

1994

On the pi-Calculus and Linear Logic.

Gianluigi Bellin, Philip J. Scott

Theor. Comput. Sci., 1994

1992

A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation.

Gianluigi Bellin, Jussi Ketonen

Theor. Comput. Sci., 1992