Logics for Pragmatics Workshop

1st Workshop on the Logic for Pragmatics

Universita' di Verona

September 1-5, 2003

Program(*)

September 1st: Arrival.

September 2nd:
Session 0. Opening.
9:30 G.Bellin, Universita' di Verona, An overview of the logics for pragmatics.

Session 1. Duality in intuitionistic logic and its semantics.

11:00 Tristan Crolard, Universite' de Paris 12, A formulae-as-types interpretation of Subtractive Logic.

Contributions by Arnaud Fleury, Gianluigi Bellin and Corrado Biasi. Discussion.

16:00 Tutorial: John Power, LFCS Edinburgh, Pre-monoidal Categories.

September 3rd:
Session 2. Causal implication and its semantics.
10:00 Graham White, QMW College, University of London Modal treatment of causality and Non-Monotonic Reasoning.
11:30 Kurt Ranalter, QMW College, University of London Kripke models for ILP.

Break.

14:30 Tutorial Graham White: Fibrational structures in causal reasoning.

16:00 Maria Emilia Maietti, Universita` di Padova Fibrations for linear and intuitionistic logic.

September 4th:
Session 3: Private and common knowledge, logic of questions and answers.
10:00 Giacomo Lenzi, Universita' di Pisa On the modal mu-calculus.
Discussion.
14:00 Carlo Dalla Pozza, Universita' di Lecce On the logic of questions and answers.
Contribution by Graham White. Discussion.
16:00 Tutorial ?

September 5th:
10:00 Tutorial ?
Concluding Debate: Mathematical practice, axiomatization and intuition: some reflecions on the history of Artificial Intelligence. Panel discussion, led by Graham White.

Departure.

(*) Financial support for the workshop have been provided by Interlink funds (MIUR and University of Verona) for the International Co-Tutored PhD Program, by MURST COFIN 02 ''PROTOCOLLO'' project in Linear Logic and by the University of Paris 12. PEOPLE

here

BIBLIOGRAPHY

Tristan Crolard
T. Crolard. A confluent lambda-calculus with a catch / throw mechanism,
Journal of Functional Programming 9, 1999, pp. 625-647.
T. Crolard. Subtractive logic,
Theoretical Computer Science 254, 2001, pp. 151-185.
T. Crolard. A formulae-as-types interpretation of Subtractive Logic.
Submitted to the Journal of Logic and Computation. Special issue on Modalities in Constructive Logics and Type Theories.
ps file

Denis Delfitto
D. Delfitto

Graham White
G.White. Interpolation for McCain-Turner Causal Theories,
Non-Monotonic Reasoning, Action and Change 2003.
pdf file
G.White. Fibrational Structures in Causal and Nonmonotonic Reasoning. Transparencies of the talk given at the workshop. pdf file

Carlo Dalla Pozza.
C. Dalla Pozza and C. Garola. A pragmatic interpretation of intuitionistic propositional logic.
in Erkenntnis 43, 1995, pp. 81-109.
G. Bellin and C. 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 | pdf file

Giacomo Lenzi

John Power
J. Power and E. Robinson. Premonoidal categories and notions of computation,
in Mathematical Structures in Computer Science 11, 1993.

Arnaud Fleury

Gianluigi Bellin
G. Bellin. "Towards a logic for pragmatics"
submitted to the "Journal of Logic and Computation", special issue for the IMLA-FLOC'02 conference, Copenhagen, April 2003.
ps file | pdf file

Kurt Ranalter
G. Bellin and Kurt Ranalter. "A Kripke-style semantics for the intuitionistic logic of pragmatics ILP"
to appear in the "Journal of Logic and Computation",
special issue for the Dagstuhl Seminar n. 01141 on Semantic Foundations of Proof-search, 1-6 April 2001,
ps file | pdf file

Corrado Biasi
G. Bellin and Corrado Biasi.
"Cut-Elimination for the logic of pragmatics"
submitted to the "Journal of Logic and Computation", special issue for the IMLA-FLOC'02 conference, Copenhagen, April 2003.
ps file | pdf file

back home