Logika liniowa

Wyklad monograficzny
semestr letni 2005-06


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)