• G. Bellin, M. Hyland, E.Robinson and C. Urban. Categorical Proof Theory of Classical Propositional Calculus
  Theoretical Computer Science - Vol. 364, 2, November 2006, pp. 146-165.

• G. Bellin. A Term Assignment for Dual Intuitionistic Logic.
  Presented to IMLA-FLOC 2005 March 2005.

• G. Bellin. Natural Deduction and term assignment for co-Heyting algebras in Polarized Bi-Intuitionistic Logic,
  Submitted to the Proceedings of the Natural Deduction Conference, Rio de Janeiro, July 2-6, 2001
  (revised summer 2004)
  

• G. Bellin and C.Biasi. Towards a logic for pragmatics: Assertions and conjectures,
  In: Journal of Logic and Computation Volume 14, Number 4, 2004, pp. 473-506.
  

• G. Bellin and Kurt Ranalter.
  A Kripke-style semantics for the intuitionistic logic of pragmatics ILP
  "Journal of Logic and Computation", vol. 13, n. 5, 2003, pp.755-775
  

• G. Bellin and Carlo Dalla Pozza.
  A pragmatic interpretation of substructural logics
  in Reflections on the Foundations of Mathematics, Essays in Honor of Solomon Feferman,
  W.Sieg, R.Sommer and C.Talcott eds. ASL Lecture Notes in Logic ; 15, 2002.
  

• G. Bellin.
  Chu's Construction: A Proof-theoretic Approach
  in Ruy J.G.B. de Queiroz editor, "Logic for Concurrency and Synchronisation", Kluwer Trends in Logic n.18, 2003, pp.93-114.
  

• G. Bellin.
  ``Two paradigms of logical computation in Affine Logic?''
  in Ruy J.G.B. de Queiroz editor, "Logic for Concurrency and Synchronisation", Kluwer Trends in Logic n.18, 2003, pp.115-150.
  

Get these and other papers in .ps, .pdf format.

back home