• G.Bellin, M.Carrara, D.Chiffi and A.Menti
  "A pragmatic dialogic interpretation of bi-intuitionism"
  revised version for Logic and Logical Philosophy January 2014
  (mathematical and philosophical interpretations of ``polarized'' bi-intuitionism - for linear and non-linear systems).
  pdf file

• G. Bellin
  "Assertions, hypotheses, conjectures, expectations: Rough-set semantics and proof-theory",
  In L.C.Pereira, E.H.Haeusler and V.de Paiva eds., Advances in Natural Deduction
  Trends in Logic, Studia Logica Library, Vol 39, Springer Netherlands, Dordrecht, 2014 ISBN: 978-94-7547-3.
  (paper for the Proceedings of the Natural Deduction Conference, Rio de Janeiro, July 2-6, 2001 last revision April 2011).
  Assertions Hypotheses Conjectures Expectations pdf
  

• G. Bellin and A. Menti.
  "On the pi-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and lambda P Systems"
  pdf file to appear in Fundamenta Informaticae 130, 2014, pp.21-65.

• G.Bellin.
  "Categorical Proof Theory of Co-Intuitionistic Linear Logic"
  submitted to LOMECS, autumn 2012.
  pdf file

• G.Bellin, M.Carrara and D.Chiffi
  "A pragmatic framework for intuitionistic modalities: Classical logic and Lax logic",
  submitted to the Journal of Logic and Computation,
  April 2012.
  pdf file

• 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.
  pdf file

• 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