dr hab. prof. UO Piotr Wojtylak

Publikacje


    2016
  1. Wojciech Dzik, Piotr Wojtylak, 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.
  2. Wojciech Dzik, Piotr Wojtylak, MODAL CONSEQUENCE RELATIONS EXTENDING S4.3: AN APPLICATION OF PROJECTIVE UNIFICATION, Notre Dame Journal of Formal Logic, 57 (2016), 523-549.

  3. 2015
  4. 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.
  5. 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.
  6. Wojciech Dzik, Piotr Wojtylak, ALMOST STRUCTURALLY COMPLETE INFINITARY CONSEQUENCE OPERATIONS EXTENDING S4.3, Logic Journal of the IGPL, 23(4) (2015), 640-661.
  7. 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.

  8. 2014
  9. Wojciech Dzik, Piotr Wojtylak, ALMOST STRUCTURALLY COMPLETE CONSEQUENCE OPERAIONS EXTENDING S4.3, Logic Colloqium 2014, Wiede, lipiec 14-19 (2014), referat wyg這szony.
  10. 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.

  11. 2013
  12. 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.
  13. Wojciech Dzik, Piotr Wojtylak, 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.
  14. 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.

  15. 2012
  16. 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.

  17. 2011
  18. Wojciech Dzik, Piotr Wojtylak, PROJECTIVE UNIFICATION IN MODAL LOGIC, Logic Journal of the IGPL, 20(1) (2011), 121-153.
  19. 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.

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

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

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

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

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

  32. 2003
  33. 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.

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

  37. 1999
  38. 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 .
  39. Joanna Grygiel, Piotr Wojtylak, THE SUM OPERATION AND LINK LATTICES, Prace Naukowe WSP w Cz瘰tochowie, Matematyka 6 (1999), 23-28.
  40. Piotr Wojtylak, UOG粌NIANIE DOWOD紟 W LOGICE KWANTYFIKATOR紟 Z IDENTYCZNOCI, Acta Universitatis Wratislaviensis, 2180, Logika 19 (1999), 87-93.

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