...MENU

Conferences

dr hab. Zofia Kostrzycka





1. Grzegorz Bryll, Zofia Kostrzycka, `Implikacyjno-negacyjne niedowodliwce stoickie', XXXIX Konferencja Historii Logiki, Kraków 1993.

2. Grzegorz Bryll, Zofia Kostrzycka, `Koniunkcyjno-alternatywne niedowodliwce stoickie', Warsztaty Logiczno-Filozoficzne, Szklarska Poręba 1994.

3. Grzegorz Bryll, Zofia Kostrzycka, `Uwagi o tematach stoickich', Zastosowania Logiki w Filozofii i Podstawach Matematyki I, Karpacz 1996.

4. Grzegorz Bryll, Zofia Kostrzycka, `Implikacyjno-negacyjne rachunki stoickie', Zastosowania Logiki w Filozofii i Podstawach Matematyki II, Karpacz 1997.

5. Zofia Kostrzycka, `O modalnościach w logice stoickiej', Zastosowania Logiki w Filozofii i Podstawach Matematyki III, Karpacz 1998.

6. Zofia Kostrzycka, `Implikacja ścisła w systemie stoickim', Conference: Zastosowania Algebry II, Zakopane, May 1999.

7. Zofia Kostrzycka, `Implikacje Chryzypa i Diodora w systemie stoickim', Conference: V Warsztaty Logiczno-Filozoficzne, Zawoja, September 1999.

8. Zofia Kostrzycka, `Rachunek sekwentów dla S2', Conference: Zastosowania Algebry IV, Zakopane 2000.

9. Zofia Kostrzycka, `Formalizacja założeniowa dla rachunków modalnych S1, S2 i S3 Lewisa', Conference Warsztaty Logiczno-Filozoficzne, Zawoja, September 2000.

10. Zofia Kostrzycka, `Formalizacja założeniowa logik modalnych S1, S2 i S3 Lewisa', Conference: Zastosowania Algebry V, Zakopane 2001.

11. Zofia Kostrzycka, Marek Zaionc, 'O gęstości formuł prawdziwych w logice Dummetta', Conference: Zastosowania Algebry VI, Zakopane, February 2002.

12. Zofia Kostrzycka, `O kratach logik zawierających logikę modalną S4 Lewisa', Conference: Zastosowania Algebry VII, Zakopane, February 2003.

13. Zofia Kostrzycka, `On one-generated lattices of extensions of Grzegorczyk's logic', Conference: Zastosowania Logiki w Filozofii i Podstawach Matematyki VIII, Karpacz, May 2003.

14 Zofia Kostrzycka, `Gęstość prawdy w implikacyjnych fragmentach logik klasycznej i intuicjonistycznej', Conference: Zastosowania Algebry VIII, Zakopane, March 2004.

15. Zofia Kostrzycka, `On the density of truth in Grzegorczyk's modal logic', Conference: Zastosowania Logiki w Filozofii i Podstawach Matematyki IX, Karpacz, 26-30 April 2004.

16. Zofia Kostrzycka, `Monadic fragments of some intermediate logics and their statistical properties', Conference: Zastosowania Logiki w Filozofii i Podstawach Matematyki X, Szklarska Poręba, 9-13 May 2005.

17. Zofia Kostrzycka, `On normal extensions of monadic and $\{\to,\Box\}$ fragment of Grzegorczyk's modal logic', Conference: Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, 15-18 June, 2005. (PHOTO)


18. Zofia Kostrzycka, `On formulas of one variable in NEXT(KTB)', Conference: Applications of Algebra X, Zakopane, 6-12 March 2006. (PHOTO)




19. Zofia Kostrzycka, `On reduction in 1-generated models in NEXT(KTB)', Conference: Zastosowania Logiki w Filozofii i Podstawach Matematyki XI, Szklarska Poręba, May 2006. (PHOTO)


20. Zofia Kostrzycka, M.Zaionc, `Asymptotic densities in logic and type theory', Conference: Trends in Logic IV, Toruń, 1-4 September 2006. (PHOTO)


21. Zofia Kostrzycka, `On the density of truth in modal logics', Conference: 4th Colloquium on Mathematics and Computer Science, Nancy, 18-22 September 2006. (PHOTO)


22. Zofia Kostrzycka, `On the existence of a continuum of logics in NEXT(KTB)', Conference: Applications of Algebra XI, Zakopane, 5-10 March 2007. (PHOTO)


23. Zofia Kostrzycka, `On logics determined by wheel frames', Conference: Zastosowania Logiki w Filozofii i Podstawach Matematyki XII, Szklarska Poręba, May 2007. (PHOTO)


24. Zofia Kostrzycka, `On the existence of a continuum of logics in $NEXT(KTB\oplus \Box^2 p \to \Box^3 p)$', Conference: Logic Colloquium, Wrocław, July 2007. (PHOTO)




25. Zofia Kostrzycka, `On the existence of a continuum of logics in $NEXT(KTB)$', Conference: Algebraic and Topological Methods in Non-Classical Logics III, Oxford, 5-9 August 2007.

26. Zofia Kostrzycka, `Functional completeness and density of truth of logics', Conference: Computational Logic and Applications, Kraków, September 2007.

27. Zofia Kostrzycka, `On density of truth of intuitionistic logic', Conference: Applications of Algebra XII, Zakopane, 3-7 March 2008.


28. Zofia Kostrzycka, `On non-compact logics in NEXT(T_2)', Conference: Zastosowania Logiki w Filozofii i Podstawach Matematyki XIII, Szklarska Poręba, 5-9 May 2008. (PHOTO)

29. Zofia Kostrzycka, `On density of truth of infinite logic', Computational Logic and Applications, Versailles-Lyon-Chambery-Kraków Workshop, Kraków 6-7 June 2008.

30. Zofia Kostrzycka, `O niezupe"lnych w sensie Kripkego logikach w NEXT(KTB)', Kolokwium Logiczne, Wrocław 27-29 June 2008.


31. Zofia Kostrzycka, `On density of truth of intuitionistic logic in one variable', Conference: 5th Colloquium on Mathematics and Computer Science, Blaubeuren, 22-26 September 2008.

32. Zofia Kostrzycka, `O skończenie aksjomatyzowalnej i niezupełnej w sensie Kripkego logice w NEXT(KTB), LIV Konferencja Historii Logiki, Kraków, 4-5 November 2008.

33. Zofia Kostrzycka, `On a finitely axiomatizable Kripke incomplete logic containing KTB, Applications of Algebra XIII, Zakopane 9-15 March 2009.


34. Zofia Kostrzycka, `O niezupełnych e sensie Kripkego rozszerzeniach logiki KTB', Conference: Zastosowania Logiki w Filozofii i Podstawach Matematyki XIV, Szklarska Poręba, 20-24 April 2009. (PHOTO)

35. Zofia Kostrzycka, `On Kripke incomplete logics containing KTB', Conference: Topology, Algebra and Categories in Logics, Amsterdam, 7-11 July 2009. (PHOTO)


36. Zofia Kostrzycka, `O rodzinach KTB-logik', LV Konferencja Historii Logiki, Kraków, 3-4 November 2009.


37. Zofia Kostrzycka, `On KTB-algebras', Conference: Applications of Algebra XIV, Zakopane, 8-14 March 2010. (PHOTO)


38. Zofia Kostrzycka, `Locally finite logics have the density', World Congress on Universal Logic III, Monte Estoril, Portugal 18-25 April 2010.


39. Zofia Kostrzycka, `System of surroundings determined by KTB-algebras', Conference: Applications of Logic in Philosophy and the Foundations of Mathematics XV, Szklarska Poręba, 4-7 May 2010.

40. Zofia Kostrzycka, `Locally finite logics have the density', Conference: Computational Logic and applications, Kraków, 10-12 June 2010.


41. Zofia Kostrzycka, `On some interesting properties of some uninteresting logics', Conference: Applications of Algebra XV, Zakopane, 7-13 March 2011. (PHOTO)


42. Zofia Kostrzycka, `On interpolation in NEXT(KTB)', Conference: Applications of Logic in Philosophy and the Foundations of Mathematics XVI, Szklarska Poręba, 9-13 May 2011. (PHOTO)


43. Zofia Kostrzycka, `On interpolation in NEXT(KTB)', Conference: Topology, Algebra and Categories in Logics, Marseilles, 26-30 July 2011.


44. Zofia Kostrzycka, `On linear brouwerian logics', Conference: Applications of Algebra XVI, Zakopane, 27.02-03.03.2012. (PHOTO)


45. Zofia Kostrzycka, `Blocks of tolerance in reflexive and symmetric frames', Conference: Applications of Logic in Philosophy and the Foundations of Mathematics XVII, Szklarska Poręba, 7-11 May 2012.


46. Zofia Kostrzycka, `On the family of linear brouwerian logics' joint work with Y.Miyazaki, Conference: Applications of Algebra XVII, Zakopane, 4-9.03.2013. (PHOTO)


47. Zofia Kostrzycka, `On the lattice of logics in NEXT(KTB.3')', Conference: Applications of Logic in Philosophy and the Foundations of Mathematics XVIII, Szklarska Poręba, 6-10 May 2013.



48. Z. K. `O liniowych logikach Brouwera', II Kolokwium Logiczne, Wrocław 14-15 June 2013.


49. Z. K. 'On linear Brouwerian logics. The structure of the lattice of sub-frame (and frame) logics', Conference: Logic Colloquium, Evora, Portugal, 22-27 July 2013.


50. Z. K., `On Halldn completeness of modal logics', Conference: Applications of Algebra XVIII, Zakopane, 10-16.03.2014. (PHOTO)


51. Z. K. `On modal logics determind by homogenous Kripke frames', Conference: Applications of Logic in Philosophy and the Foundations of Mathematics XIX, Szklarska Poręba, 5-9 May 2014.


52. Z.K. `On Hallden complete modal logics determined by homogeneous frames', Conference: Logic Colloquium, 14-19 July, Wiedeń 2014.


53. Z.K. `On structure of the lattice of linear Brouwer modal logics', 60 Conference of the history of logic, 21-22. 10.2014, Kraków.


54. Z. K., `On Brouwer logics determined by k-branching nets of clusters', Conference: Applications of Algebra XIX, Zakopane, 8-15.03.2015. (PHOTO)


55. Z.K. `On Halldén completeness in Brouwer logics determined by nets of clusters, Conference: Applications of Logic in Philosophy and the Foundations of Mathematics XX, Szklarska Poręba, 4-8 May 2015.


56. Z.K. `Interpolation in Brouwer logics determined by k-branching nets of clusters', Conference: Topology, Algebra and Categories in Logics, Ischia, 21-28 June 2015.


57. Z.K. 'Interpolation in Brouwer logics KTB+alt_n`, Conference: Applications of Algebra XX, Zakopane, 7-14.03.2016. (PHOTO)


58. Z.K. 'On interpolation in a family of Brouwer modal logics', Conference: Logic Colloquium, Leeds, 1-6.08.2016.


59. Z.K. 'NEGATIVE RESULTS FOR INTERPOLATION IN NEXT(KTB)', Conference: Applications of Algebra XXI, Zakopane, 20-27.03.2017.