INSTYTUT MATEMATYKI
Uniwersytet ¦l±ski
40-007 Katowice, ul. Bankowa 14

tel/fax (032) 2582976
e-mail:im@ux2.math.us.edu.pl


Tomasz Połacik

Research interests

Mathematical logic. In particular:

Conferences and talks

  1. XXXVIII Konferencja Historii Logiki. 17-18 November 1992, Kraków; UJ.

  2. Sixth Conference of the European Chapter of the Computational Linguistics, EACL'93. 21-23 April 1993, Utrecht; EACL.

  3. Third Kurt Gödel Colloquium, KGC'93. 24-27 August 1993, Brno; Kurt Gödel Society.

  4. XXXIX Konferencja Historii Logiki. 10 November 1993, Kraków; UJ. Intuicjonistyczne operatory zdaniowe i ich interpretacje topologiczne. 

  5. International Summer School, Marktoberdorf: Proof and Computation. 20 July - 1 August 1993, Marktoberdorf; NATO Science Comeittee & Institute für Informatik Technische Universität München.

  6. XL Konferencja Historii Logiki. 16-17 November 1994, Kraków; UJ.

  7. Conference on Philosophical Logic. Including a Workshop: Navigating Around Inconsistent Structures. 15-16 December 1994, Gent; University of Gent. On Some Nonstandard Intuitionistic Propositional Operators and Their Topological Interpretations.

  8. Complexity, Logic and Recursion Theory. 1995 COLORET Workshop. 2-7 May 1995, Certosa di Pontignano; University of Siena.

  9. International Summer School, Marktoberdorf: Logic of Computation. 25 July - 6 August 1995, Marktoberdorf; NATO Science Comeittee & Institute für Informatik Technische Universität München.

  10. 10th International Congress of Logic, Methodology and Philosophy of Science. 19-25 August, Florence; International Union of History and Philosophy of Science. Topological Interpretations of Second Order Intiuitionistic Propositional Logic.

  11. XLI Konferencja Historii Logiki. 25 October 1995, Kraków; UJ. Kwantyfikatory zdaniowe w logice intuicjonistycznej. 

  12. Zastosowania Logiki w Matematyce i Filozofii. 18-21 April 1996, Karpacz; UWr & U¦. Pitts' Quantifiers are not Topological Quantification.

  13. AMS-BeNeLux Congress. 22-25 May 1996, Antwerp; American, Belgian, Dutch, Luxemburg Mathematical Societies & University of Antwerp. Pitts' Quantification vs Topological Quantification (23 May 1996). 

  14. XLII Konferencja Historii Logiki. 19-20 November 1996, Kraków; UJ.

  15. Zastosowania Logiki w Filozofii i Podstawach Matematyki.24-27 kwietnia 1997, Karpacz; Uniwersytet Wroclawski, Uniwersytet Opolski, US.

  16. I Ogólnopolska Konferencja Zastosowan Algebry w Logice i Informatyce. 19-25 maja 1997, Zakopane; WSP Czestochowa. Zanurzenia algebr Heytinga w przestrzenie topologiczne. 

  17. Fifth Kurt Gödel Colloquium. Computational Logic and Proof Theory. August 25-29, 1997, Vienna; Kurt Gödel Society. Propositional Quantification in Intuitionistic Logic.

  18. Warsztaty Logiczno-Filozoficzne. 2-6 September 1997, Górzno; UMK. Kwantyfikacja zdaniowa w logice intuicjonistycznej.

  19. XLIII Konferencja Historii Logiki. 18-19 November 1997, Kraków; UJ.

  20. Third Conference on Applications of Logic in Foundations of Mathematics and Philosophy. May 6-10, 1998, Karpacz, Poland. Models of Heyting Arithmetic.

  21. Second National Conference on Applications of Algebra in Logic and Computer Science. May 18-25, 1998, Zakopane, Poland. Kripke Models of Heyting Arithmetic.

  22. XLIV Logic Conference. November 19-20, 1998, Kraków, Poland. Models of Intuitionistic Arithmetic.

  23. Logic Group Seminary, Opole University. December 15, 1998. Modele arytmetyki intuicjonistycznej.

  24. Logic Colloquium'99. Utrecht, August 1-6 1999. Kripke Models of Arithmetical Theories.

  25. 11th International Congress of Logic, Methodology and Philosophy of Science. Kraków, August 20-26 1999. Kripke Models of Arithmetical Theories.

  26. XLV Konferencja Historii Logiki. Kraków, October 26-27 1999. Modele kripkowskie a hierarchia Burra.

  27. Zastosowania logiki w filozofii i podstawach matematyki V. Karpacz, May 17-21 2000. Constructing Kripke Models of Arithmetic.

  28. XLVI Konferencja Historii Logiki. Kraków, October 24-25 2000.

  29. Zastosowania logiki w filozofii i podstawach matematyki VI. Karpacz, April 25-29 2001. The Maximum Property for Propositional Quantifiers.

  30. Logic Colloquium 2001. Vienna; August 6-11, 2001. Quantifying over propositions in the class of trees.

  31. Summer School on General Algebra and Ordered Sets, 2001.Stara Lesna September 2-8, 2001. Intuitionistic logic, propositional quantification, and the class of trees.

  32. Zastosowania Logiki w Filozofii i Podstawach Matematyki VII. Polanica Zdrój; April 24-28, 2002. Propositional quantifiers and decidability problems.

  33. Summer School on General Algebra and Ordered Sets, 2002.Liptovsky Mikulas, Slovakia; September 1-6, 2002. An algebraic approach to weak arithmetic.

  34. Warsztaty Logiczno-Filozoficzne. Zawoja, September 23-37, 2002. On some fragments of arithmetic.

  35. XLVIII Konferencja Historii Logiki. Kraków, October 22-23 2002.

  36. VII Ogólnopolska Konferencja Zastosowan Algebry w Logice i Informatyce. March 10-16, 2003, Zakopane-Jaszczurówka. A universal Horn fragment of arithmetic.

  37. Zastosowania Logiki w Filozofii i Podstawach Matematyki VIII. Karpacz; May 6-10, 2003. An equational fragment of arithmetic.

  38. Colloquium of Department of Mathematics, University of Puerto Rico. Mayaguez, Puerto Rico; October 2003. Constructing models of constructive theories.

  39. SIDIM 2004. Cayey, Puerto Rico; February 27-28, 2004. Kripke models of first-order theories.

  40. Summer School on General Algebra and Ordered Sets, 2004.Mala Moravka, Czech Republic; September 5-11, 2004. Projective formulas via universal Kripke models.

  41. L Konferencja Historii Logiki. Kraków; October 26-27, 2004. A characterization of projective formulas.

  42. IX Ogólnopolska Konferencja Zastosowan Algebry w Logice i Informatyce. March 7-13, 2005, Zakopane-Jaszczurówka. Archetypal Rules or: Who is an Omniscient Agent?

  43. Zastosowania Logiki w Filozofii i Podstawach Matematyki X.  Szklarska Poręba, May 9-13, 2005. Kripke models of Heyting Arithmetic and its fragments.

  44. Letnia Szkoła Instytutu Matematyki U¦. Ustroń, September 2005. Arytmetyka intuicjonistyczna.

  45. Zastosowania Logiki w Filozofii i Podstawach Matematyki XI.  Szklarska Poręba, May 8-12, 2006. Collection schema in intuitionistic aruthmetic.

  46. Logic Colloquium 2006. Nijmegen, the Netherlands, 27 July-2 August, 2006. Partially-elementary extension Kripke models and subtheories of Heyting Arithmetic.

  47. Letnia Szkoła Instytutu Matematyki U¦. Ustroń, September 2006. Archetypal rules.

  48. Zastosowania Logiki w Filozofii i Podstawach Matematyki XII.  Szklarska Poręba, May 7-11, 2007. Back and forth between Kripke models.

  49. Logic Colloquium 2007. Wrocław, July 14-19 2007. Back and forth between Kripke models.

  50. Zastosowania Logiki w Filozofii i Podstawach Matematyki XIII. Szklarska Poreba, 5–9.05.2008. Representing Kripke models in classical structures.

  51. Kolokwium Logiczne Katedry Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego (z okazji 20-lecia powstania Wydziału Nauk Społecznych Uniwersytetu Wrocławskiego). Wrocław, 27–29.06.2008, Jeszcze jedna charakteryzacja logiki klasycznej.

  52. Letnia Szkoła Instytutu Matematyki U¦. Wisła, 22–26.09.2008, Modele, formuły i gry.

  53. Applications of Algebra in Logic and Computer Science. Zakopane, 9-15.02.2009, Bisimulation for first order Kripke models.

  54. Zastosowania Logiki w Filozofii i Podstawach Matematyki XIV. Szklarska Poreba, 20–24.04.2009. Submodels of Kripke models.

  55. Non-Classical Mathematics 2009, Hejnice, Czech Republic, 18-22.06.2009. Games for first-order Kripke models.



[LOGIC GROUP]  [STRUCTURE]  [INSTITUTE OF MATHEMTICS]

[HOME PAGE]  [CV]  [PAPERS]   [RESEARCH]   [TEACHING]