dr hab. prof. UO Piotr Wojtylak

Publikacje


    2018
  1. Piotr Wojtylak, UNIFICATION IN PREDICATE (MODAL) LOGIC, Zastosowania logiki w filozofii i podstawach matematyki, Szklarska Por瑿a 8-12 maja 2018 (2018), referat wyg這szony.

  2. 2016
  3. Piotr Wojtylak, Wojciech Dzik, PROJECTIVE UNIFICATION AND STRUCTURAL COMPLETENESS IN SUPERINTUITIONISTIC PREDICATE LOGICS. PART I AND II, Zastosowania Logiki w Filozofii i Podstawach Matematyki XXI, Szklarska Por瑿a, 5-9 maja 2016 (2016), referat wyg這szony.
  4. Piotr Wojtylak, Wojciech Dzik, MODAL CONSEQUENCE RELATIONS EXTENDING S4.3: AN APPLICATION OF PROJECTIVE UNIFICATION, Notre Dame Journal of Formal Logic, 57 (2016), 523-549.

  5. 2015
  6. Wojciech Dzik, Piotr Wojtylak, PROJECTIVE UNIFICATION IN INTERMEDIATE AND MODAL PREDICATE LOGICS, Topology, Algebra, and Categories in Logic 2015, Ischia (W這chy) 21 - 26 czerwca 2015 (2015), referat wyg這szony.
  7. Piotr Wojtylak, PROJECTIVE UNIFICATION IN MODAL PREDICATE LOGICS, Zastosowania Logiki w Filozofii i Podstawach Matematyki XX, Szklarska Por瑿a, 4-8 maja 2015 (2015), referat wyg這szony.
  8. Piotr Wojtylak, Wojciech Dzik, ALMOST STRUCTURALLY COMPLETE INFINITARY CONSEQUENCE OPERATIONS EXTENDING S4.3, Logic Journal of the IGPL, 23(4) (2015), 640-661.
  9. Piotr Wojtylak, ADMISSIBLE INFINITARY RULES IN MODAL LOGIC II, Workshop on Admissible Rules and Unification II, Les Diablerets, Szwajcaria, 30 stycznia-2 lutego (2015), referat wyg這szony.

  10. 2014
  11. Piotr Wojtylak, Wojciech Dzik, ALMOST STRUCTURALLY COMPLETE CONSEQUENCE OPERAIONS EXTENDING S4.3, Logic Colloqium 2014, Wiede, lipiec 14-19 (2014), referat wyg這szony.
  12. Piotr Wojtylak, CONSEQUENCE OPERATIONS EXTENDING MODAL LOGIC S4.3. PART II, Applications of Logic in Philosophy and the FOundations of Mathematics, Szklarska Por瑿a 5-9 Maja 2014 (2014), referat wyg這szony.

  13. 2013
  14. Piotr Wojtylak, ROBERT COWENS'S HYPOTHESIS CONCERNING MINIMALLY UNSATISFIABLE CNF'S., XVIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki 6-10 maja 2013, Szklarska Por瑿a (2013), referat wyg這szony.
  15. Piotr Wojtylak, Wojciech Dzik, REGUΜWE ROZSZERZENIA LOGIK DIODOROWSKICH, XXV-lecie Wydzia逝 Nauk Spo貫cznych Uniwersytetu Wroc豉wskiego, Wsp馧czesna teoria i praktyka bada spo貫cznych i humanistycznych, tom2, Wydawnictwo Adam Marsza貫k (2013), 34-43.
  16. Piotr Wojtylak, CONSEQUENCE EXTENSIONS OF S4.3; AN APPLICATION OF PROJECTIVE UNIFICATION IN MODAL LOGIC., Konferencja, Logic Colloquium 2013, Evora (Portugalia) 22-27 Lipca 2013 (2013), referat wyg這szony.

  17. 2012
  18. Piotr Wojtylak, STRUCTURAL COMPLETENESS IN MODAL LOGICS, Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Por瑿a 7-11 May 2012 (2012), referat wyg這szony.

  19. 2011
  20. Piotr Wojtylak, Wojciech Dzik, PROJECTIVE UNIFICATION IN MODAL LOGIC, Logic Journal of the IGPL, 20(1) (2011), 121-153.
  21. Piotr Wojtylak, STRUKTURALNA ZUPEΛO LOGIK MODALNYCH, Identyczno znaku czy znak identycznoci. Wok鏊 logiki niefregowskiej. Konferencja z okazji 70-lecia prof. Mieczys豉wa Omy造, Uniwersytet warszawski 12-13 grudnia 2011 (2011), referat wyg這szony.

  22. 2009
  23. Piotr Wojtylak, Srichan Arworn, AN ALGORITHM FOR THE NUMBER OF PATH MOMOMORPHISMS, Discrete Mathematics, 309 (2009), 5569-5573.

  24. 2008
  25. Piotr Wojtylak, Supot Sookyang, Srichan Arworn, CHARACTERIZATIONS OF NON-SINGULAR CYCLES, PATHS AND TREES, Thai Journal of Mathematics, 6 (2008), 331-336.
  26. Piotr Wojtylak, Matthias Baaz, GENERALIZING PROOFS IN MONADIC LANGUAGES, WITH A POSCRIPT BY G.KREISEL, Annals of Pure and Applied Logic, 154 (2008), 71-138.
  27. Piotr Wojtylak, Witold Pogorzelski, COMPLETENESS THEORY FOR PROPOSITIONAL LOGICS, Birkhaser, Basel- Boston-Berlin (2008), 1-108.

  28. 2007
  29. Piotr Wojtylak, Supot Sookyang, Srichan Arworn, CHARACTERIZATIONS OF NON-SINGULAR CYCLES AND TREES, Thai Journal of Mathematics, 5 (2007), 163-169.

  30. 2005
  31. Piotr Wojtylak, Witold Pogorzelski, A PROOF SYSTEM FOR CLASSICAL LOGIC, Studia Logica, 80 (2005), 95-104.

  32. 2004
  33. Piotr Wojtylak, ON A PROBLEM OF H. FRIEDMAN AND ITS SOLUTION BY T. PRUCNAL, Reports on Mathematical Logic, 38 (2004), 69-86.

  34. 2003
  35. Piotr Wojtylak, LOGIKA MATEMATYCZNA NA UNIWERSYTECIE L兄KIM, w: P馧 wieku matematyki na G鏎nym l零ku (red. K. Sk鏎nik), Wydawnictwa Uniwesytetu l零kiego , Katowice (2003), 165-170.

  36. 2001
  37. Piotr Wojtylak, Witold Pogorzelski, CN-DEFINITIONS OF PROPOSITIONAL CONNECTIVES, Studia Logica, 67 (2001), 1-67.
  38. Piotr Wojtylak, Andrzej Wro雟ki, ON THE PROBLEM OF R.E. TAX, Reports on Mathematical Logic, 35 (2001), 87-101.

  39. 1999
  40. Piotr Wojtylak, 2-SAT IS NOT EQUIVALENT TO BOOLEAN PRIME IDEAL THEOREM, w: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa (red. Ewa Or這wska), Physica-Verlag, Heidelberg (1999), 580-583 .
  41. Piotr Wojtylak, Joanna Grygiel, THE SUM OPERATION AND LINK LATTICES, Prace Naukowe WSP w Cz瘰tochowie, Matematyka 6 (1999), 23-28.
  42. Piotr Wojtylak, UOG粌NIANIE DOWOD紟 W LOGICE KWANTYFIKATOR紟 Z IDENTYCZNOCI, Acta Universitatis Wratislaviensis, 2180, Logika 19 (1999), 87-93.

  43. 1997
  44. Piotr Wojtylak, Joanna Grygiel, THE UNIQUNESS OF THE DECOMPOSITION OF DISTRIBUTIVE LATTICES INTO SUMS OF BOOLEAN LATTICES, Reports on Mathematical Logic, 31 (1997), 93-102.
  45. Piotr Wojtylak, UOG粌NIANIE DOWOD紟, Prace Naukowe WSP w Cz瘰tochowie, Matematyka 5 (1997), 118-128.