Mathematical Logic Quarterly 58 (3):236-243 (2012)

This paper provides a finer analysis of the well-known form of the Local Deduction Theorem in contraction-free logics . 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
Keywords BCI‐logic  Rule of contraction msc (2010) 03B22  Local Deduction Theorem  03B20  03B47  Substructural logics
Categories (categorize this paper)
DOI 10.1002/malq.201110065
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,257
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
Notes on the Axiomatics of the Propositional Calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
Principal Type-Schemes and Condensed Detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.

View all 6 references / Add more references

Citations of this work BETA

Lattice BCK Logics with Modus Ponens as Unique Rule.Joan Gispert & Antoni Torrens - 2014 - Mathematical Logic Quarterly 60 (3):230-238.

Add more citations

Similar books and articles


Added to PP index

Total views
24 ( #471,244 of 2,499,869 )

Recent downloads (6 months)
1 ( #417,749 of 2,499,869 )

How can I increase my downloads?


My notes