Počet záznamů: 1
Note on Deduction Theorems in contraction-free logics
- 1.0376591 - ÚI 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. E-ISSN 1521-3870
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 souboru Staženo Velikost Komentář Verze Přístup 0376591.pdf 1 848.5 KB GSp Autorský preprint povolen
Počet záznamů: 1