Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.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