Search results
- 1.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 - 2.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 - 3.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