Výsledky vyhledávání
- 1.0559063 - ÚI 2023 eng U - Uspořádání akce
Cintula, Petr - Wannenburg, Johann Joubert - Vacková, Kateřina - Grimau, Berta - Haniková, Zuzana
Czech Gathering of Logicians 2022.
[Prague, 16.06.2022-17.06.2022, (K-EUR 21/2)]
Institucionální podpora: RVO:67985807 ; RVO:67985556
https://uivty.cs.cas.cz/~clog2022/BookOfAbstracts.pdf
Trvalý link: https://hdl.handle.net/11104/0332482Název souboru Staženo Velikost Komentář Verze Přístup 0559063-boa.pdf 0 1.5 MB Jiná povolen 0559063-prog.pdf 0 85 KB Jiná povolen - 2.0532912 - ÚI 2021 RIV eng U - Uspořádání akce
Bílková, Marta - Cintula, Petr - Haniková, Zuzana - Horčík, R. - Kroupa, T. - Lávička, Tomáš - Majer, Ondrej - Moraschini, Tommaso - Noguera, Carles - Přenosil, Adam - Sedlár, Igor - Vidal, Amanda
TACL 2017: Topology, Algebra and Categories in Logic.
[Prague, 26.06.2017-30.06.2017, (K-WRD 155/127)]
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Logic * Topology * Algebra * Category theory * Coalgebra
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
https://www.cs.cas.cz/tacl2017/
Trvalý link: http://hdl.handle.net/11104/0311286Název souboru Staženo Velikost Komentář Verze Přístup 532912.pdf 1 2.7 MB Vydavatelský postprint vyžádat - 3.0522505 - MÚ 2020 RIV eng U - Uspořádání akce
Chodounský, David - Verner, J. - Cintula, Petr - Honzík, R. - Hubička, J. - Pudlák, Pavel - Starý, J. - Stejskalová, Šárka - Thapen, Neil
Logic Colloquium 2019.
[Prague, 11.08.2019-16.08.2019, (K-WRD 230/198)]
Institucionální podpora: RVO:67985840 ; RVO:67985807
Klíčová slova: mathematical logic
Obor OECD: Pure mathematics; Pure mathematics (UIVT-O)
https://lc2019.cz/
Trvalý link: http://hdl.handle.net/11104/0306989 - 4.0427516 - ÚI 2015 RIV eng U - Uspořádání akce
Cintula, Petr
Prague Seminar on Substructural Logics.
[Prague, 28.03.2014-29.03.2014, (W-WRD 20/7)]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * substructural logic * logic in computer science
Kód oboru RIV: IN - Informatika
http://www.cs.cas.cz/cintula/PSSubLog
Trvalý link: http://hdl.handle.net/11104/0233041 - 5.0422868 - ÚI 2014 RIV eng U - Uspořádání akce
Cintula, Petr - Noguera, Carles
2nd Prague Symposium on Semilinear Logics.
[Prague, 20.11.2013, (W-EUR 15/5)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * semilinear logic
Kód oboru RIV: BA - Obecná matematika
http://www2.cs.cas.cz/~cintula/PSSL
Trvalý link: http://hdl.handle.net/11104/0230249 - 6.0399587 - ÚI 2014 RIV eng U - Uspořádání akce
Alten van, C. - Cintula, Petr - Noguera, Carles
International Workshop on Algebraic Logic in Computer Science.
[Stellenbosch, 14.12.2013, (W-WRD 11/9)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * logic in computer science * algebraic logic
Kód oboru RIV: BA - Obecná matematika
http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html
Trvalý link: http://hdl.handle.net/11104/0228260 - 7.0396941 - ÚI 2014 RIV eng U - Uspořádání akce
Cintula, Petr - Majer, Ondrej - Kroupa, Tomáš
Manyval 2013: Games, decisions and rationality.
[Prague, 04.09.2013-06.09.2013, (W-EUR 38/27)]
Grant CEP: GA ČR GAP402/12/1309
Institucionální podpora: RVO:67985807 ; RVO:67985955 ; RVO:67985556
Klíčová slova: mathematical logic * multi-valued logics * game-theoretic semantics * uncertainty of non-classical events * decision theory
Kód oboru RIV: BA - Obecná matematika
http://www.cs.cas.cz/manyval13/
Trvalý link: http://hdl.handle.net/11104/0224588 - 8.0391884 - ÚI 2014 RIV eng U - Uspořádání akce
Běhounek, Libor - Cintula, Petr
Non-Classical Mathematics. Workshop at UNILOG 2013.
[Rio de Janeiro, 03.04.2013, (W-WRD 15/10)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical mathematics * constructive mathematics * inconsistent mathematics * fuzzy mathematics
Kód oboru RIV: BA - Obecná matematika
http://www.uni-log.org/ss4-NCM.html
Trvalý link: http://hdl.handle.net/11104/0220856 - 9.0391882 - ÚI 2014 RIV eng U - Uspořádání akce
Cintula, Petr - Noguera, Carles - Spada, L.
Many-Valued Logics. Workshop at UNILOG 2013.
[Rio de Janeiro, 04.04.2013-05.04.2013, (W-WRD 30/23)]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * multi-valued logics * algebraic logic
Kód oboru RIV: BA - Obecná matematika
http://www.uni-log.org/ss4-MVL.html
Trvalý link: http://hdl.handle.net/11104/0220855 - 10.0374837 - ÚI 2012 RIV eng U - Uspořádání akce
Cintula, Petr - Ju, S.
NCMPL 2011. Non-Classical Modal and Predicate Logics.
[Guangzhou, 05.12.2011-09.12.2011, (K-WRD 92/42)]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logic * predicate logic * modal logic * intuitionistic logic * substructural logic * relevant logic * fuzzy logic * non-classical mathematics
Kód oboru RIV: BA - Obecná matematika
http://logic.sysu.edu.cn/ncmpl2011/
Trvalý link: http://hdl.handle.net/11104/0207659