Tomasz Połacik

Uniwersytet Śląski
Instytut Matematyki
Zakład Logiki Matematycznej
Bankowa 14
40-007 Katowice

Telefon: (32) 359 13 92

C.V.

• 1990 - magisterium: Logika dowodliwości, Uniwersytet Śląski, Katowice. Promotor: prof. Piotr Wojtylak.

• 1996 - doktorat: Kwantyfikatory rzędu drugiego w logice intuicjonistycznej, Uniwersytet Śląski, Katowice. Promotor: prof. Piotr Wojtylak.

• od 1996 - adiunkt w Instytucie Matematyki Uniwersytetu Śląskiego w Katowicach.

• 2003/2004 - visiting professor w Department of Mathematics, University of Puerto Rico.

Zainteresowania

Logika matematyczna. W szczególnosci:

• logiki pośrednie i ich semantyki algebraiczne, topologiczne i relacyjne,

• teorie konstruktywne i ich modele,

• arytmetyka.

Publikacje

• Artykuły

• Prace w przygotowaniu

Udział w konferencjach i wygłoszone odczyty

• Lista konferencji

7.10.2007