Počet záznamů: 1  

Substructural propositional dynamic logics

  1. 1.
    SYSNO ASEP0505159
    Druh ASEPC - Konferenční příspěvek (mezinárodní konf.)
    Zařazení RIVD - Článek ve sborníku
    NázevSubstructural 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 strans. 594-609
    Poč.str.16 s.
    Forma vydáníTištěná - P
    AkceWoLLIC 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 akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.DE - Německo
    Klíč. slovaLambek calculus ; Modal logic ; Propositional dynamic logic ; Relevant logic ; Substructural logic
    Vědní obor RIVBA - Obecná matematika
    Obor OECDPure mathematics
    CEPEF17_050/0008361 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    Institucionální podporaUIVT-O - RVO:67985807
    EID SCOPUS85068606821
    DOI10.1007/978-3-662-59533-6_36
    AnotaceWe 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
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2020
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.