BELLIN, Gianluigi
BELLIN, Gianluigi
DIPARTIMENTO DI INFORMATICA
A decision procedure revisited: Notes on direct logic, linear logic and its implementation
1992-01-01 Bellin, Gianluigi; J., Ketonen
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
2003-01-01 Bellin, Gianluigi; Kurt, Ranalter
A Pragmatic Interpretation Of Substructural Logics
2002-01-01 Bellin, Gianluigi; Carlo Dalla, Pozza
A system of natural deduction for GL
1985-01-01 Bellin, Gianluigi
Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory
2014-01-01 Bellin, Gianluigi
Categorical Proof Theory of Classical Propositional Calculus
2006-01-01 Bellin, Gianluigi; M., Hyland; E., Robinson; C., Urban
Categorical Proof Theory of Co-Intuitionistic Linear Logic
2014-01-01 Bellin, Gianluigi
Chu's construction: a proof-theoretic approach
2003-01-01 Bellin, Gianluigi
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
2001-01-01 Bellin, Gianluigi; V., De Paiva; E., Ritter
Herbrand's Theorem for Calculi of Sequents LK and LJ
1979-01-01 Bellin, Gianluigi
Logic for pragmatics
2008-01-01 Bellin, Gianluigi; Berardi, S; Crolard, T.
On the Pi-calculus and linear logic
1994-01-01 Bellin, Gianluigi; P. J., Scott
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
2014-01-01 Bellin, Gianluigi; Menti, Alessandro
Planar and Braided Proof-nets for MLL with Mix
1998-01-01 Bellin, Gianluigi; Fleury, Arnaud
Ramsey Interpreted: A Parametric Version of Ramsey's Theorem
1990-01-01 Bellin, Gianluigi
Subnets of Proof-nets in MLL-
1995-01-01 Bellin, Gianluigi; J., Van De Wiele
Subnets of Proof-nets in multiplicative linear logic with MIX
1997-01-01 Bellin, Gianluigi
Towards a logic for pragmatics. Assertions and conjectures.
2004-01-01 Bellin, Gianluigi; C., Biasi
Two paradigms of logical computation in affine logic?
2003-01-01 Bellin, Gianluigi