Editorial
by G. Bellin, S. Berardi and T. Crolard.
Papers
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. 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,
pp.755-775
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
Kurt Ranalter.
"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
Graham White.
"Causality, Modality and Explanation", Notre Dame Journal of Formal Logic49, 3 2008, pp.313-343.
White on McCain and Turner
Graham White.
"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
Part II
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
G.Bellin
"Categorical Proof Theory of Co-Intuitionistic Linear Logic" Logical Methods in Computer Science 2014, arXiv:1407.3416.