dr hab. Tomasz Połacik | Instytut Matematyki

Pełnione funkcje Pełnione funkcje

Współorganizator dorocznej konferencji Applications of Logic in Philosophy and the Foundations of Mathemetatics (od 2006 r.)
Ekspert Polskiej Komisji Akredytacyjnej (od 2016 r.)
Członek Rady Biznesowo-Programowej Instytutu Matematyki Uniwersytetu Śląskiego w Katowicach (od 2018 r.)
Juror Alfred Tarski Logic Prize (od 2018 r.)

CV CV

Wykształcenie

2009: habilitacja, Kripke models for intuitionistic first-order theories. Uniwersytet Śląski, Katowice.
1996: doktorat, Second order quantifiers in intuitionistic logic. Uniwersytet Śląski, Katowice. Promotor: prof. Piotr Wojtylak.
1990: magisterium, Provability logic. Uniwersytet Śląski, Katowice. Promotor: prof. Piotr Wojtylak.

Zatrudnienie

1990-1996: asystent, Instytut Matematyki, Uniwersytet Śląski w Katowicach.
1996-2018: adiunkt, Instytut Matematyki, Uniwersytet Śląski w Katowicach.
2003/2004: profesor wizytujący, Department of Mathematics, University of Puerto Rico , Mayaguez, USA.
od 2018: profesor uczelni, Instytut Matematyki, Uniwersytet Śląski w Katowicach.

Funkcje pełnione w latach ubiegłych

2011 – 2019: Kierownik Zakładu Logiki Matematycznej w Instytucie Matematyki Uniwersytetu Śląskiego w Katowicach.
2012 – 2019: Prodziekan Matematyki na Wydziale Matematyki, Fizyki i Chemii (obecnie Nauk Ścisłych i Technicznych) Uniwersytetu Śląskiego w Katowicach.

Plan zajęć Plan zajęć

Mój aktualny plan zajęć dydaktycznych dostępny jest na tej stronie.

Publikacje Publikacje

Artykuły naukowe

Lp.	Autorzy	Tytuł	Dane bibliograficzne

1.	Tomasz Połacik, Lloyd Humberstone	Classically Archetypal Rules	Review of Symbolic Logic, vol. 11 (2018), no. 2, 279-294, doi: 10.1017/S1755020318000072.
2.	Tomasz Połacik	A Semantical Approach to Conservativity	Studia Logica, vol. 104 (2016), 235-248, doi:10.1007/s11225-015-9639-7.
3.	Tomasz Połacik	Bisimulation Reducts and Elementary Submodels of Kripke Models	Bulletin of the Section of Logic, vol.42, (2013), 3/4, 1-10.
4.	Tomasz Połacik	Back and forth between First-Order Kripke models	Logic Journal of the IGPL, vol. 16 (2008), no. 4, 335-355. doi: 10.1093/jigpal/jzn011.
5.	Tomasz Połacik	Partially elementary extension Kripke models: a characterization and applications	Logic Journal of the IGPL,vol. 14 (2006), no. 1, 73-86. doi: 10.1093/jigpal/jzk005.
6.	Tomasz Połacik	The unique intermediate logic whose every rule is archetypal	Logic Journal of the IGPL, 13 (2005) no. 3, 269-275. doi: 10.1093/jigpal/jzi019
7.	Tomasz Połacik	Anti chains, focuses and projective formulas	Bulletin of the Section of Logic, vol. 34 (2005), no. 1, 1-12.
8.	Tomasz Połacik Wim Ruitenburg	Simple axioms which are obviously true in N	The Review of Modern Logic, vol. 9 (2003), no. 1/2, 67-79.
9.	Tomasz Połacik	Quantified intuitionistic propositional logic and Cantor space	Bulletin of the Section of Logic, vol. 32 (2003), no. (1/2), 65-73.
10.	Tomasz Połacik	Maximum property for propositional quantification	Acta Universitas Wratislaviensis, No. 2466 (2002), 61-65.
11.	Tomasz Połacik	Partially elementary extension Kripke models and Burr’s hierarchy	Bulletin of the Section of Logic, vol. 28 (1999),no. (4), 207-213.
12.	Tomasz Połacik	Induction schemata valid in Kripke models of intuitionistic arithmetical theories	Reports on Mathematical Logic, vol. 33 (1999), 111-125.
13.	Tomasz Połacik	Models of intuitionistic arithmetic	Prace Naukowe WSP w Częstochowie. Matematyka VI, 1999.
14.	Tomasz Połacik	Pitts’ quantifiers are not propositional quantification	Notre Dame Journal of Formal Logic, vol. 39 (1998), 531-544.
15.	Tomasz Połacik	Propositional quantification in the monadic fragment of intuitionistic logic.	Journal of Symbolic Logic, vol. 63 (1998), 1-29, doi: 10.2307/2586601.
16.	Tomasz Połacik	Zanurzenia algebr Heytinga w przestrzenie topologiczne Matematyka V	Prace Naukowe WSP w Częstochowie, 1997.
17.	Tomasz Połacik	On topological interpretations of some nonstandard intuitionistic propositional operators	Ruch Filozoficzny, vol. LI, (1994), 337-340
18.	Tomasz Połacik	Second order propositional operators over Cantor space	Studia Logica, 53:93 105, 1994 doi:10.1007/BF01053024
19.	Tomasz Połacik	Operators defined by propositional quantification and their interpretations over Cantor space	Reports on Mathematical Logic, vol. 27 (1993), 67-79. doi:10.2307/2586601

Materiały konferencyjne / rozdziały w monografiach naukowych

Lp.	Autorzy	Tytuł rozdziału	Tytuł całości	Dane bibliograficzne

1.	Tomasz Połacik	Archetypal rules and intermediate logics	The Logica Yearbook 2011	red. Michal Pelis, Vit Puncochar, College Publications, London, 2012, 227-238.
2.	Tomasz Połacik	Kripke models of certain subtheories of Heyting Arithmetic	Logic Colloquium ’99. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Utrecht, Netherlands August 1-6, 1999	red. Jan van Eijck, Vincent van Oostrom, Albert Visser, Lecture Notes in Logic 17, miejsce wyd. K Peters, Ltd. Natick, Massachusetts, 2004, 136-142.
3.	Tomasz Połacik	Propositional quantification in intuitionistic logic	Computational Logic and Proof Theory (Proceedings), 5th K.Gödel Colloquium 1997, Wien	red. G.Gottlob, A.Leitsch, D.Mundici, Springer, 255-263