...MENU Conferencesdr hab. Zofia Kostrzycka
1. Grzegorz Bryll, Zofia Kostrzycka, `Implikacyjno-negacyjne niedowodliwce stoickie',
XXXIX Konferencja Historii Logiki, Kraków
1993.
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.
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.
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.
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) 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. 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. 60. Z.K. 'On interpolation in NEXT(KTB) and NEXT(KB)` , Conference: Topology, Algebra and Categories in Logic 2017, Praga 26-30.VI. 2017. 61. Z. K. 'On interpolation in NEXT(KB)`, Conference: VXIII Krakowska Konferencja Logiki, Kraków 9-10. XI. 2017. 62. Z.K. 'On modalities in the logic of the Stoics', Conference: Applications of Algebra XXII, Zakopane, 5-10.03.2018. 63. Z.K. `Formal research on the logic of the Stoics, Conference: Applications of Logic in Philosophy and the Foundations of Mathematics XXIII, Szklarska Poręba, 7-11 May 2018. 64. Z.K. , M. Zaionc, 'Quantitative study of fuzzy logics', Conference: Applications of Algebra XXIII, Zakopane, 11-16.03.2019. 65. Z.K. `From intuitionism to Brouwer's modal logic', Conference: Topology, Algebra and Categories in Logics, NICE, 17-21 June 2019. 66. Z.K. Marek Zaionc, `Quantitative study of Fuzzy Logics', Conference: 2020 IEEE International Conference on Fuzzy Systems, Glasgow, 19-24 July 2020. 67. Z.K. `On translation from intuitionism to Brouwers modal logic', Conference: Applications of Logic in Philosophy and the Foundations of Mathematics, 12-13.05.2022, Wrocław. 68. Z.K. Sławomir Kost, `Asymptotic comparison of the implicative fragments of certain fuzzy logics', Conference: 2022 IEEE International Conference on Fuzzy Systems, Padwa, 17-23 July 2022. 69. Z.K.,`On locally finite logics and their densities', Conference: 17th workshop on Computational Logic and Applications, Kraków, UJ, Uniwersytet A. Mickiewicza, 13 grudzień 2023. 70. Z.K.,`O unifikacji w pewnych podintuicjonistycznych logikach', \Swiatowy Dzień Logiki 2025 ku pamięci Jerzego Pogonowskiego, Conference: Poznań, Uniwersytet A. Mickiewicza, 14 stycznia 2025. |