Počet záznamů: 1
Note on Deduction Theorems in contraction-free logics
- 1.
SYSNO ASEP 0376591 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Note on Deduction Theorems in contraction-free logics Tvůrce(i) Chvalovský, Karel (UIVT-O) SAI, RID, ORCID
Cintula, Petr (UIVT-O) RID, ORCID, SAIZdroj.dok. Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616
Roč. 58, č. 3 (2012), s. 236-243Poč.str. 8 s. Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova Local Deduction Theorem ; BCI-logic ; Substructural logics ; Rule of contraction Vědní obor RIV BA - Obecná matematika CEP GAP202/10/1826 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000303919900013 EID SCOPUS 84860914049 DOI 10.1002/malq.201110065 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2013
Počet záznamů: 1