Počet záznamů: 1  

Note on Deduction Theorems in contraction-free logics

  1. 1.
    SYSNO ASEP0376591
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve WOS
    NázevNote on Deduction Theorems in contraction-free logics
    Tvůrce(i) Chvalovský, Karel (UIVT-O) SAI, RID, ORCID
    Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Zdroj.dok.Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616
    Roč. 58, č. 3 (2012), s. 236-243
    Poč.str.8 s.
    Jazyk dok.eng - angličtina
    Země vyd.DE - Německo
    Klíč. slovaLocal Deduction Theorem ; BCI-logic ; Substructural logics ; Rule of contraction
    Vědní obor RIVBA - Obecná matematika
    CEPGAP202/10/1826 GA ČR - Grantová agentura ČR
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    UT WOS000303919900013
    EID SCOPUS84860914049
    DOI10.1002/malq.201110065
    AnotaceThis paper provides a finer analysis of the well-known form of the Local Deduction Theorem in contraction-free logics (understood as Tarski-style finitary structural consequence relations). An infinite hierarchy of its natural strengthenings is introduced and studied. The main results are the separation of its initial four members and the subsequent collapse of the hierarchy.
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2013
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.