by G. Bellin, S. Berardi and T. Crolard.
G. Bellin and Carlo Dalla Pozza.
A pragmatic interpretation of substructural logics
in Reflections on the Foundations of Mathematics, Essays in Honor of
W.Sieg, R.Sommer and C.Talcott eds. ASL Lecture Notes in Logic ; 15, 2002. ps file | Pragmatics of substructural logics pdf
Intensional logics of assertions, obligations and causal inferences
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,
special issue for the Dagstuhl Seminar n. 01141
on Semantic Foundations of Proof-search, 1-6 April 2001, ps file |
Logic of assertions, obligations and causal implication pdf
"A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations
and Causal Implication", Fundamenta Informaticae vol 84, 3-4, 2008, IOS Press.
IOS Press Archive
Causality and Theory of Actions
"Causality, Modality and Explanation", Notre Dame Journal of Formal Logic49, 3 2008, pp.313-343.
White on McCain and Turner
"Davidson and Reiter on Actions", Fundamenta Informaticae 84, 2, 2008, pp.259-289. IOS Press Archive
Pragmatics of Bi-Intuitionism:
Assertions, Hypotheses, Conjectures and Expectations
G. Bellin and Corrado Biasi
"Towards a logic for pragmatics: Assertions and conjectures",
In: Journal of Logic and Computation
Special Issue with the Proceedings of the Workshop on Intuitionistic Modal Logic and Application (IMLA-FLOC 2002),
V.de Paiva, R.Gore' and M. Mendler eds.,
Volume 14, Number 4, 2004, pp. 473-506. ps file | pragmatics of bi-intuitionism pdf
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, M.Carrara, D.Chiffi and A.Menti
"Pragmatic and dialogic interpretation of bi-intuitionism. Parts I and II" Logic and Logical Philosophy 2014, Part I and
Earlier version: pdf
(mathematical and philosophical interpretations of ``polarized''
bi-intuitionism - for linear and non-linear systems).
G.Bellin, M.Carrara and D.Chiffi
"A pragmatic framework for intuitionistic modalities:
Classical logic and Lax logic",
accepted by the Journal of Logic and Computation,
April 2012. pragmatics of intuitionistic modalities pdf
(final versione forthcoming).
Co-intuitionistic Logic of Hypotheses Mathematics and Computing
"Categorical Proof Theory of Co-Intuitionistic Linear Logic" Logical Methods in Computer Science 2014, arXiv:1407.3416.