AUTUMN SCHOOL OF LOGIC

Série doktorandských tutoriálů v Peci pod Sněžkou pro postgraduální či pokročilé pregraduální studenty logiky a přilehlých oborů, vč. nečlenů týmu.
Výcvikové středisko UK (dříve chata VaK), Pec pod Sněžkou, 20.-25. října 2004 (St – Po)

PROGRAM
Matematická fuzzy logika – Petr Cintula, Libor Běhounek (6 hodin)
Transparentní intensionalní logika – Jaroslav Müler (2,5 hodiny)
Disjunktivní vlastnost a přípustná pravidla v intuicionistické logice – Marta Bílková (2 hodiny)
Logika otázek – Michal Peliš, Libor Běhounek (2-3 hodiny)
Substrukturální logiky – Ondrej Majer (2-3 hodiny)
Free logiky – Ondřej Tomala (2-6 hodin)
Konstrukce univerz(a) pomocí velkých kardinálů – Radek Honzík (2 hodiny)

ENGLISH

Autumn School of Logic, held in Pec pod Snezkou (Giant Mountains, Northern Bohemia), 20-25 Oct 2004, was a series of tutorials given by and aimed at PhD students of logic or related disciplines.

Programme:

Mathematical fuzzy logic – Petr Cintula, Libor Behounek (6-8 hours)
Transparent intensional logika – Jaroslav Müler (2,5 hodiny)
Disjunction property and admissible rules in intuitionistic logic – Marta Bilkova (2 hours)
Logic of Questions – Michal Pelis, Libor Behounek (2-3 hours)
Substructural logic – Ondrej Majer (2-3 hours)
Free logics – Ondrej Tomala (2-6 hours)
How to construct universes with large cardinals – Radek Honzik (2 hours)