Mathematical Logic Quarterly 58 (3):236-243 (2012)
| Abstract |
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 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,257
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
Theory of Logical Calculi, Basic Theory of Consequence Operations.Ryszard Wójcicki - 1991 - Studia Logica 50 (3):623-629.
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
On Closure and Truth in Substructural Theories of Truth.Zach Weber - 2016 - Synthese 199 (Suppl 3):725-739.
Lattice BCK Logics with Modus Ponens as Unique Rule.Joan Gispert & Antoni Torrens - 2014 - Mathematical Logic Quarterly 60 (3):230-238.
Similar books and articles
Analytics
Added to PP index
2013-11-03
Total views
24 ( #471,244 of 2,499,869 )
Recent downloads (6 months)
1 ( #417,749 of 2,499,869 )
2013-11-03
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?
Downloads
