Note on Deduction Theorems in contraction-free logics

0376591 - ÚI 2013 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Grant - others:Austrian Science Fund (FWF)(AT) START Y544-N23
Institutional research plan: CEZ:AV0Z10300504
Keywords : Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Subject RIV: BA - General Mathematics
Impact factor: 0.376, year: 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.
Permanent Link: http://hdl.handle.net/11104/0208951