Počet záznamů: 1
Substructural propositional dynamic logics
- 1.
SYSNO ASEP 0505159 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Substructural propositional dynamic logics Tvůrce(i) Sedlár, Igor (UIVT-O) RID, ORCID, SAI Zdroj.dok. Logic, Language, Information, and Computation. - Berlin : Springer, 2019 / Iemhoff R. ; Moortgat M. ; de Queiroz R. - ISSN 0302-9743 - ISBN 978-3-662-59532-9 Rozsah stran s. 594-609 Poč.str. 16 s. Forma vydání Tištěná - P Akce WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./ Datum konání 02.07.2019 - 05.07.2019 Místo konání Utrecht Země NL - Nizozemsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova Lambek calculus ; Modal logic ; Propositional dynamic logic ; Relevant logic ; Substructural logic Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP EF17_050/0008361 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Institucionální podpora UIVT-O - RVO:67985807 EID SCOPUS 85068606821 DOI 10.1007/978-3-662-59533-6_36 Anotace We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associative Lambek Calculus. Extensions of the result to stronger substructural logics are briefly discussed. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2020
Počet záznamů: 1