- 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.