0507704 20240103222430.620190820235959.9 2 s. P cav_un_epca*050770159-60NiceUniversité Côte d’Azur2019GhilardiS.JansanaR.GehrkeM. 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. https://math.unice.fr/tacl/assets/2019/abstracts.pdf Any (propositional) logic L, construed as a structural consequence relation, is strongly complete with respect to the class Mod∗ (L) of its reduced models, i.e., Γ `L ϕ if, and only if, Γ |=Mod∗ (L) ϕ (where `L is the derivability relation of the logic L and |=Mod∗ (L) is the semantical consequence relation with respect to the class Mod∗ (L)). cav_un_auth*0378848 TACL 2019: Topology, Algebra, and Categories in Logic /9./ 20190617 Nice FR 20190621 2020 4 O 4o 20231122144206.1 RVO:67985807 http://hdl.handle.net/11104/0298689 S 2019 Soubory v repozitáři: 507704-aw.pdf SCOPUS PUBMED WOS cav_un_epca*0507701 TACL 2019. Abstracts Université Côte d’Azur 2019 Nice 59 60 340 Ghilardi S. 340 Jansana R. 340 Gehrke M.