( en | de | ru )

 

Disambiguation of "Bellin, Gianluigi"

Author of the publication

copydeleteadd this publication to your clipboard
Categorical proof theory of classical propositional calculus.

, , , and . Theor. Comput. Sci., 364 (2): 146-165 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gianluigi Tomassi

Gianluigi Clemente

Kurt Bellin

Ingo Bellin

Nicole Bellin

 

Other publications of authors with the same name

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems., and . Fundam. Informaticae, 130 (1): 21-65 (2014)On an intuitionistic logic for pragmatics., , and . J. Log. Comput., 28 (5): 935-966 (2018)Towards a Logic for Pragmatics. Assertions and Conjectures., and . J. Log. Comput., 14 (4): 473-506 (2004)A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP., and . J. Log. Comput., 13 (5): 755-775 (2003)Subnets of Proof-Nets in Multiplicative Linear Logic with MIX.. Math. Struct. Comput. Sci., 7 (6): 663-699 (1997)Planar and braided proof-nets for multiplicative linear logic with mix., and . Arch. Math. Log., 37 (5-6): 309-325 (1998)A Cointuitionistic Adjoint Logic., and . CoRR, (2017)Proof Nets for Bi-Intuitionistic Linear Logic., and . FSCD, volume 108 of LIPIcs, page 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation., and . Theor. Comput. Sci., 95 (1): 115-142 (1992)On the pi-Calculus and Linear Logic., and . Theor. Comput. Sci., 135 (1): 11-65 (1994)