Materialy pomocnicze do wykladu (po polsku):
Calosc, poprawiona 14 czerwca: PS.GZ.
Prosze o zglaszanie bledow
w notatkach poczta elektroniczna.
Panom Slawomirowi Kolasinskiemu, Lukaszowi Lwowi, Pawlowi Parysowi, Adamowi Warskiemu i Piotrowi Wilkinowi dziekuje za poprawki.
Wreczalt 1 - klasyczny rachunek sekwentow,
Wreczalt 2 - rachunek sekwentow dla logiki liniowej
Wreczalt 2 - w ladniejszej wersji
pana Lukasza Lwa
Wreczalt 3 - prawostronny rachunek sekwentow
Wreczalt 4 - naturalna dedukcja i liniowy rachunek lambda
Artykuly dostepne w sieci:
Pierre-Louis Curien: Introduction to linear logic and ludics
czesc 1,
czesc 2
Vincent Danos, Roberto Di Cosmo
The Linear Logic Primer
P. Urzyczyn (urzy@mimuw.edu.pl)