Search results
- 1.0559063 - ÚI 2023 eng U - Conference, Workshop Arrangement
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)]
Institutional support: RVO:67985807 ; RVO:67985556
https://uivty.cs.cas.cz/~clog2022/BookOfAbstracts.pdf
Permanent Link: https://hdl.handle.net/11104/0332482File Download Size Commentary Version Access 0559063-boa.pdf 0 1.5 MB Other open-access 0559063-prog.pdf 0 85 KB Other open-access - 2.0532912 - ÚI 2021 RIV eng U - Conference, Workshop Arrangement
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)]
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Logic * Topology * Algebra * Category theory * Coalgebra
OECD category: Pure mathematics; Pure mathematics (UTIA-B)
https://www.cs.cas.cz/tacl2017/
Permanent Link: http://hdl.handle.net/11104/0311286File Download Size Commentary Version Access 532912.pdf 1 2.7 MB Publisher’s postprint require - 3.0522505 - MÚ 2020 RIV eng U - Conference, Workshop Arrangement
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)]
Institutional support: RVO:67985840 ; RVO:67985807
Keywords : mathematical logic
OECD category: Pure mathematics; Pure mathematics (UIVT-O)
https://lc2019.cz/
Permanent Link: http://hdl.handle.net/11104/0306989 - 4.0427516 - ÚI 2015 RIV eng U - Conference, Workshop Arrangement
Cintula, Petr
Prague Seminar on Substructural Logics.
[Prague, 28.03.2014-29.03.2014, (W-WRD 20/7)]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : mathematical logic * substructural logic * logic in computer science
Subject RIV: IN - Informatics, Computer Science
http://www.cs.cas.cz/cintula/PSSubLog
Permanent Link: http://hdl.handle.net/11104/0233041 - 5.0422868 - ÚI 2014 RIV eng U - Conference, Workshop Arrangement
Cintula, Petr - Noguera, Carles
2nd Prague Symposium on Semilinear Logics.
[Prague, 20.11.2013, (W-EUR 15/5)]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * semilinear logic
Subject RIV: BA - General Mathematics
http://www2.cs.cas.cz/~cintula/PSSL
Permanent Link: http://hdl.handle.net/11104/0230249 - 6.0399587 - ÚI 2014 RIV eng U - Conference, Workshop Arrangement
Alten van, C. - Cintula, Petr - Noguera, Carles
International Workshop on Algebraic Logic in Computer Science.
[Stellenbosch, 14.12.2013, (W-WRD 11/9)]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : mathematical logic * logic in computer science * algebraic logic
Subject RIV: BA - General Mathematics
http://www.cs.cas.cz/cintula/lpar-workshop-ALCS.html
Permanent Link: http://hdl.handle.net/11104/0228260 - 7.0396941 - ÚI 2014 RIV eng U - Conference, Workshop Arrangement
Cintula, Petr - Majer, Ondrej - Kroupa, Tomáš
Manyval 2013: Games, decisions and rationality.
[Prague, 04.09.2013-06.09.2013, (W-EUR 38/27)]
R&D Projects: GA ČR GAP402/12/1309
Institutional support: RVO:67985807 ; RVO:67985955 ; RVO:67985556
Keywords : mathematical logic * multi-valued logics * game-theoretic semantics * uncertainty of non-classical events * decision theory
Subject RIV: BA - General Mathematics
http://www.cs.cas.cz/manyval13/
Permanent Link: http://hdl.handle.net/11104/0224588 - 8.0391884 - ÚI 2014 RIV eng U - Conference, Workshop Arrangement
Běhounek, Libor - Cintula, Petr
Non-Classical Mathematics. Workshop at UNILOG 2013.
[Rio de Janeiro, 03.04.2013, (W-WRD 15/10)]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : non-classical mathematics * constructive mathematics * inconsistent mathematics * fuzzy mathematics
Subject RIV: BA - General Mathematics
http://www.uni-log.org/ss4-NCM.html
Permanent Link: http://hdl.handle.net/11104/0220856 - 9.0391882 - ÚI 2014 RIV eng U - Conference, Workshop Arrangement
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)]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : mathematical logic * multi-valued logics * algebraic logic
Subject RIV: BA - General Mathematics
http://www.uni-log.org/ss4-MVL.html
Permanent Link: http://hdl.handle.net/11104/0220855 - 10.0374837 - ÚI 2012 RIV eng U - Conference, Workshop Arrangement
Cintula, Petr - Ju, S.
NCMPL 2011. Non-Classical Modal and Predicate Logics.
[Guangzhou, 05.12.2011-09.12.2011, (K-WRD 92/42)]
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-classical logic * predicate logic * modal logic * intuitionistic logic * substructural logic * relevant logic * fuzzy logic * non-classical mathematics
Subject RIV: BA - General Mathematics
http://logic.sysu.edu.cn/ncmpl2011/
Permanent Link: http://hdl.handle.net/11104/0207659