0446017 20240103210315.420150723235959.9 Dense completeness theorem for protoalgebraic logics cav_un_epca*0446015Topology, Algebra and Categories in Logic. Booklet of Abstracts55-57University of Salerno2015 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*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. GA13-14654S GA ČR cav_un_auth*0292719 cav_un_auth*0318260 TACL 2015. Topology, Algebra and Categories in Logic Ischia 21.06.2015-26.06.2015 IT 2016 BA 4 O 4o 20231122141044.4 RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0248514 S 2015 Soubory v repozitáři: a0446017.pdf cav_un_epca*0446015 Topology, Algebra and Categories in Logic. Booklet of Abstracts 55 57 University of Salerno 2015