Počet záznamů: 1  

Note on Deduction Theorems in contraction-free logics

  1. 1. 0376591 - UIVT-O 2013 RIV DE eng J - Článek v odborném periodiku
    Chvalovský, Karel - Cintula, Petr
    Note on Deduction Theorems in contraction-free logics.
    Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 236-243. ISSN 0942-5616
    Grant CEP: GA ČR GAP202/10/1826
    Grant ostatní:Austrian Science Fund (FWF)(AT) START Y544-N23
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.376, rok: 2012

    This 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.
    Trvalý link: http://hdl.handle.net/11104/0208951
    Název souboruStaženoVelikostKomentářVerzePřístup
    0376591.pdf0848.5 KBAutorský preprintvyžádat