Paper Info
Title
Note on Deduction Theorems in Contraction-Free Logics.
Abstract
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. (C) 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Year
DOI
Venue
2012
10.1002/malq.201110065
MATHEMATICAL LOGIC QUARTERLY
Keywords
DocType
Volume
Local Deduction Theorem,BCI-logic,Substructural logics,Rule of contraction
Journal
58
Issue
ISSN
Citations 
3
0942-5616
1
PageRank 
References 
Authors
0.43
4
2
Name
Order
Citations
PageRank
Karel Chvalovský1111.85
Petr Cintula260150.37