Gianluigi Bellin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2018

Proof Nets for Bi-Intuitionistic Linear LogicGianluigi Bellin, Willem Heijltjes. RTA 2018: [doi]

On an intuitionistic logic for pragmaticsGianluigi Bellin, Massimiliano Carrara, Daniele Chiffi. logcom, 28(5):935-966, 2018. [doi]

2014

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP SystemsGianluigi Bellin, Alessandro Menti. FUIN, 130(1):21-65, 2014. [doi]

2006

Categorical proof theory of classical propositional calculusGianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban. TCS, 364(2):146-165, 2006. [doi]

2004

Towards a Logic for Pragmatics. Assertions and ConjecturesGianluigi Bellin, Corrado Biasi. logcom, 14(4):473-506, 2004. [doi]

2003

A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILPGianluigi Bellin, Kurt Ranalter. logcom, 13(5):755-775, 2003. [doi]

Chu's Construction: A Proof-Theoretic ApproachGianluigi Bellin. In Ruy J. G. B. de Queiroz, editor, Logic for Concurrency and Synchronisation. Volume 18 of Trends in Logic, pages 89-109, Kluwer, 2003. [doi]

Two Paradigms of Logical Computation in Affine Logic?Gianluigi Bellin. In Ruy J. G. B. de Queiroz, editor, Logic for Concurrency and Synchronisation. Volume 18 of Trends in Logic, pages 111-144, Kluwer, 2003. [doi]

1997

Subnets of Proof-Nets in Multiplicative Linear Logic with MIXGianluigi Bellin. mscs, 7(6):663-699, 1997.

1994

On the pi-Calculus and Linear LogicGianluigi Bellin, Philip J. Scott. TCS, 135(1):11-65, 1994.

1992

A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its ImplementationGianluigi Bellin, Jussi Ketonen. TCS, 95(1):115-142, 1992.

Sign in or sign up to see more results.

runs on WebDSL