0422077 20240103203543.520140102235959.9 C cav_un_epca*04220761-4StellenboschUniversity of Stellenbosch2013 nonassociative full Lambek calculus mathematical fuzzy logic standard completeness core semilinear logics cav_un_auth*0100737 Cintula Petr Oddělení teoretické informatiky Department of Theoretical Computer Science UIVT-O Department of Theoretical Computer Science Ústav informatiky AV ČR, v. v. i. cav_un_auth*0208971 Horčík Rostislav Oddělení teoretické informatiky Department of Theoretical Computer Science UIVT-O Department of Theoretical Computer Science Ústav informatiky AV ČR, v. v. i. cav_un_auth*0293476 Noguera Carles Matematická teorie rozhodování Department of Decision Making Theory MTR MTR UTIA-B Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf GAP202/10/1826 GA ČR cav_un_auth*0260903 cav_un_auth*0298512 International Workshop on Algebraic Logic in Computer Science Stellenbosch 14.12.2013 ZA 2014 BA 4 O 4o 20231122140012.0 RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0228293 1 2013 Soubory v repozitáři: 0422077.pdf cav_un_epca*0422076 Proceedings of the International Workshop on Algebraic Logic in Computer Science 1 4 Stellenbosch University of Stellenbosch 2013