Substructural implicational logics including the relevant logic

Studia Logica

Volumn 63, Issue 2, 1999, Pages 181-212

  Kashima, R Y O ^a,b   Kamide, Norihiro ^a,b  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

^b JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Cut elimination; Relevant logic; Substructural logic

Indexed keywords

EID: 0038138186     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005210613711     Document Type: Article

References (8)

1. ANDERSON, A. R., and N. D. BELNAP Jr., Entailment: The Logic of Relevance, and Necessity, Vol. 1, Princeton 1975.
2. DOŠEN, K., 'A historical introduction to substructural logics', in [3].
3. DOŠEN, K., and P. SCHROEDER-HEISTER (eds.), Substructural Logics, Oxford 1993.
4. DUNN, J. M., 'Relevance logics and entailment', in Handbook of Philosophical Logics, III, D. Reidel 1986.
5. KAMIDE, N., and R. KASHIMA, 'Conservative extensions in relevant implicational logics', Research Report IS-RR-98-0003F, Japan Advanced Institute of Science and Technology, 1998 (dvi-file compressed by 'gzip' is available: ftp://logic.jaist.ac.jp/pub/papers/kashima/kamide1.dvi.gz).
6. KASHIMA, R., and N. KAMIDE, 'A family of substructural implicational logics', Research Report IS-RR-97-0037F, Japan Advanced Institute of Science and Technology, 1997, (dvi-file compressed by 'gzip' is available: ftp://logic.jaist.ac.jp/pub/papers/kashima/kashima1.dvi.gz).
7. KRIPKE, S. A., 'The problem of entailment' (abstract), The Journal of Symbolic Logic 24 (1959), p. 324.
8. ONO, H., 'Semantics for substructural logics', in [3].