dr hab. prof. UO Piotr Wojtylak

Publikacje


    2022
  1. Wojciech Dzik, Sławomir Kost, Piotr Wojtylak, FINITARY UNIFICATION IN LOCALLY TABULAR MODAL LOGICS CHARACTERIZED, Annals of Pure and Applied Logic, Volume 173, Issue 4 (2022), 103072.

    2. 2019
  2. Piotr Wojtylak, Wojciech Dzik, UNIFICATION IN SUPERINTUITIONISTIC PRDICATE LOGICS AND ITS APPLICATION, Review of Symbolic Logic, 12(1) (2019), 37--61.
  3. Piotr Wojtylak, Wojciech Dzik, UNIFICATION IN FIRST-ORDER TRANSITIVE MODAL LOGIC, Logic Journal of the IGPL, 27(5) (2019), 693-717.

    4. 2018
  4. Piotr Wojtylak, UNIFICATION IN PREDICATE (MODAL) LOGIC, Zastosowania logiki w filozofii i podstawach matematyki, Szklarska Poręba 8-12 maja 2018 (2018), referat wygłoszony.

    5. 2016
  5. 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ęba, 5-9 maja 2016 (2016), referat wygłoszony.
  6. 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.

    7. 2015
  7. Piotr Wojtylak, Wojciech Dzik, ALMOST STRUCTURALLY COMPLETE INFINITARY CONSEQUENCE OPERATIONS EXTENDING S4.3, Logic Journal of the IGPL, 23(4) (2015), 640-661.
  8. 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łoszony.
  9. Wojciech Dzik, Piotr Wojtylak, PROJECTIVE UNIFICATION IN INTERMEDIATE AND MODAL PREDICATE LOGICS, Topology, Algebra, and Categories in Logic 2015, Ischia (Włochy) 21 - 26 czerwca 2015 (2015), referat wygłoszony.
  10. Piotr Wojtylak, PROJECTIVE UNIFICATION IN MODAL PREDICATE LOGICS, Zastosowania Logiki w Filozofii i Podstawach Matematyki XX, Szklarska Poręba, 4-8 maja 2015 (2015), referat wygłoszony.

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

    13. 2013
  13. Piotr Wojtylak, Wojciech Dzik, REGUŁOWE ROZSZERZENIA LOGIK DIODOROWSKICH, XXV-lecie Wydziału Nauk Społecznych Uniwersytetu Wrocławskiego, Współczesna teoria i praktyka badań społecznych i humanistycznych, tom2, Wydawnictwo Adam Marszałek (2013), 34-43.
  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ęba (2013), referat wygłoszony.
  15. 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łoszony.

    16. 2012
  16. Piotr Wojtylak, STRUCTURAL COMPLETENESS IN MODAL LOGICS, Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba 7-11 May 2012 (2012), referat wygłoszony.

    17. 2011
  17. Piotr Wojtylak, STRUKTURALNA ZUPEŁNOŚĆ LOGIK MODALNYCH, Identyczność znaku czy znak identyczności. Wokól logiki niefregowskiej. Konferencja z okazji 70-lecia prof. Mieczysława Omyły, Uniwersytet warszawski 12-13 grudnia 2011 (2011), referat wygłoszony.
  18. Piotr Wojtylak, Wojciech Dzik, PROJECTIVE UNIFICATION IN MODAL LOGIC, Logic Journal of the IGPL, 20(1) (2011), 121-153.

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

    20. 2008
  20. Piotr Wojtylak, Supot Sookyang, Srichan Arworn, CHARACTERIZATIONS OF NON-SINGULAR CYCLES, PATHS AND TREES, Thai Journal of Mathematics, 6 (2008), 331-336.
  21. 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.
  22. Piotr Wojtylak, Witold Pogorzelski, COMPLETENESS THEORY FOR PROPOSITIONAL LOGICS, Birkhaser, Basel- Boston-Berlin (2008), 1-108.

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

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

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

    26. 2003
  26. Piotr Wojtylak, LOGIKA MATEMATYCZNA NA UNIWERSYTECIE ŚLĄSKIM, w: Pół wieku matematyki na Górnym Śląsku (red. K. Skórnik), Wydawnictwa Uniwesytetu Śląskiego , Katowice (2003), 165-170.

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

    29. 1999
  29. 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łowska), Physica-Verlag, Heidelberg (1999), 580-583 .
  30. Piotr Wojtylak, Joanna Grygiel, THE SUM OPERATION AND LINK LATTICES, Prace Naukowe WSP w Częstochowie, Matematyka 6 (1999), 23-28.
  31. Piotr Wojtylak, UOGÓLNIANIE DOWODÓW W LOGICE KWANTYFIKATORÓW Z IDENTYCZNOŚCIĄ, Acta Universitatis Wratislaviensis, 2180, Logika 19 (1999), 87-93.

    32. 1997
  32. Piotr Wojtylak, UOGÓLNIANIE DOWODÓW, Prace Naukowe WSP w Częstochowie, Matematyka 5 (1997), 118-128.
  33. 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.