Gianluigi Bellin

14 papers B 1Journal 11
YearRankTypeTitle / Venue / Authors
2018 J jnl
On an intuitionistic logic for pragmatics.
J. Log. Comput.
Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi
2018 B conf
Proof Nets for Bi-Intuitionistic Linear Logic.
FSCD
Gianluigi Bellin, Willem Heijltjes
2017 J jnl
A Cointuitionistic Adjoint Logic.
CoRR
Harley Eades III, Gianluigi Bellin
2014 J jnl
Categorical Proof Theory of Co-Intuitionistic Linear Logic.
Log. Methods Comput. Sci.
Gianluigi Bellin
2014 J jnl
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems.
Fundam. Informaticae
Gianluigi Bellin, Alessandro Menti
2006 J jnl
Categorical proof theory of classical propositional calculus.
Theor. Comput. Sci.
Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
2004 J jnl
Towards a Logic for Pragmatics. Assertions and Conjectures.
J. Log. Comput.
Gianluigi Bellin, Corrado Biasi
2003 J jnl
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP.
J. Log. Comput.
Gianluigi Bellin, Kurt Ranalter
2003 — ch.
Chu's Construction: A Proof-Theoretic Approach.
Logic for Concurrency and Synchronisation
Gianluigi Bellin
2003 — ch.
Two Paradigms of Logical Computation in Affine Logic?
Logic for Concurrency and Synchronisation
Gianluigi Bellin
1998 J jnl
Planar and braided proof-nets for multiplicative linear logic with mix.
Arch. Math. Log.
Gianluigi Bellin, Arnaud Fleury
1997 J jnl
Subnets of Proof-Nets in Multiplicative Linear Logic with MIX.
Math. Struct. Comput. Sci.
Gianluigi Bellin
1994 J jnl
On the pi-Calculus and Linear Logic.
Theor. Comput. Sci.
Gianluigi Bellin, Philip J. Scott
1992 J jnl
A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation.
Theor. Comput. Sci.
Gianluigi Bellin, Jussi Ketonen