Výsledky vyhledávání
- 1.0560947 - ÚI 2023 cze A3 - Přednáška/prezentace nepublikovaná
Haniková, Zuzana
Pluralismus v základech matematiky.
[Letní filosofická škola 2022 /32./. Velké Losiny, 01.07.2022-10.07.2022]
Způsob prezentace: Přednáška
URL akce: https://letnifilosofickaskola.webnode.cz/lfs-2022/
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0333718Název souboru Staženo Velikost Komentář Verze Přístup lfš_2022_plakat.pdf 2 597 KB Jiná povolen - 2.0560946 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Haniková, Zuzana
Structural completeness in MV and product algebras with truth constants.
[WARU 2019. Workshop on Admissible Rules and Unification III. Prague, 11.05.2019-12.05.2019]
Způsob prezentace: Zvaná přednáška
Pořadatel akce: Institute of Philosophy of the Czech Academy of Sciences
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0333717 - 3.0560944 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Haniková, Zuzana
Set theories in many-valued logics.
[Postgraduate workshop on Alternative Set Theories. Amsterdam, 22.06.2013-24.06.2013]
Způsob prezentace: Zvaná přednáška
Pořadatel akce: University of Amsterdam
Institucionální podpora: RVO:67985807
https://www.math.uni-hamburg.de/home/loewe/AST2013/
Trvalý link: https://hdl.handle.net/11104/0333715 - 4.0560943 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Haniková, Zuzana
Syntactic fragments in FLew-algebras.
[Coherence and Truth. In memoriam Franco Montagna. Pontignano, 16.12.2015-18.12.2015]
Způsob prezentace: Zvaná přednáška
Pořadatel akce: University of Siena
URL akce: https://www.silfs.it/en/coherence-and-truth-in-memoriam-franco-montagna-16-18-dicembre-2015-pontignano-siena-italy-2/
Institucionální podpora: RVO:67985807
http://www.ailalogica.it/pdf/franco-montagna-en.pdf
Trvalý link: https://hdl.handle.net/11104/0333714 - 5.0559058 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Haniková, Zuzana
A case for constants.
[LINZ 2022: Linz Seminar on Fuzzy Set Theory /39./. Linz, 07.06.2022-10.06.2022]
Způsob prezentace: Zvaná přednáška
URL akce: http://www.flll.jku.at/linz2022/
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0332478 - 6.0556745 - ÚI 2023 RS eng A - Abstrakt
Haniková, Zuzana
Vopěnka’s Alternative Set Theory within Twentieth Century Mathematics.
The Third Conference of East European Network for Philosophy of Science EENPS 2021: Book of Abstracts. Belgrade: University of Belgrade, Faculty of Philosophy, 2021. s. 163-163.
[EENPS 2021: The Conference of East European Network for Philosophy of Science /3./. 09.06.2021-11.06.2021, Belgrade]
Institucionální podpora: RVO:67985807
https://eenps.weebly.com/uploads/1/3/2/7/132787932/eenps_2021_book_of_abstracts_2_.pdf
Trvalý link: http://hdl.handle.net/11104/0330906Název souboru Staženo Velikost Komentář Verze Přístup 0556745-aw.pdf 0 512.2 KB Volně online Vydavatelský postprint povolen - 7.0511334 - ÚI 2020 CZ eng A - Abstrakt
Haniková, Zuzana
Algorithmic problems in Lukasiewicz logic.
Prague Gathering of Logicians. Abstracts. Prague: UTIA CAS, ICS CAS, IP CAS, 2019.
[PGL 2019: Prague Gathering of Logicians /7./. 09.05.2019-10.05.2019, Prague]
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0301629Název souboru Staženo Velikost Komentář Verze Přístup 0511334-aw.pdf 1 82.1 KB Vydavatelský postprint povolen - 8.0511270 - ÚI 2020 IT eng A - Abstrakt
Haniková, Zuzana - Moraschini, Tommaso
Fragments of the universal theory of algebraic structures — polynomial reductions.
AsubL (Algebra & Substructural Logics- Take 6). Abstracts. Cagliari, 2018.
[AsubL: Algebra & Substructural Logics /6./. 11.06.2018-13.06.2018, Cagliari]
Institucionální podpora: RVO:67985807
https://sites.unica.it/asubl6/files/2018/05/Zuzana-Hanikova.pdf
Trvalý link: http://hdl.handle.net/11104/0301590Název souboru Staženo Velikost Komentář Verze Přístup 0511270-aw.pdf 0 91.3 KB volně online Vydavatelský postprint povolen - 9.0508240 - ÚI 2020 CZ eng A - Abstrakt
Haniková, Zuzana
On Vopěnka’s Ultrafinitism.
CLMPST 2019. Book of Abstracts. Prague: DLMPST/IUHPST, 2019. s. 216-217.
[CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./. 05.10.2019-10.10.2019, Prague]
Institucionální podpora: RVO:67985807
http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf
Trvalý link: http://hdl.handle.net/11104/0299207Název souboru Staženo Velikost Komentář Verze Přístup 0508240-aw.pdf 1 124.9 KB volně online Vydavatelský postprint povolen - 10.0507705 - ÚI 2020 FR eng A - Abstrakt
Haniková, Zuzana
Computing the validity degree in Lukasiewicz logic.
TACL 2019. Abstracts. Nice: Université Côte d’Azur, 2019 - (Ghilardi, S.; Jansana, R.; Gehrke, M.). s. 102-103
[TACL 2019: Topology, Algebra, and Categories in Logic /9./. 17.06.2019-21.06.2019, Nice]
Institucionální podpora: RVO:67985807
https://math.unice.fr/tacl/assets/2019/abstracts.pdf
Trvalý link: http://hdl.handle.net/11104/0298690Název souboru Staženo Velikost Komentář Verze Přístup 507705-aw.pdf 1 97.2 KB volně online Vydavatelský postprint povolen