Substructural Logics with Mingle

Journal of Logic, Language and Information

Volumn 11, Issue 2, 2002, Pages 227-249

  Kamide, Norihiro ^a  

^a WAKAYAMA NATIONAL COLLEGE OF TECHNOLOGY   (Japan)

Author keywords

Cut elimination; Lambek calculus; Linear logic; Mingle rule

Indexed keywords

EID: 0000458905     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1017586008091     Document Type: Article

References (15)

1. Anderson, A.R. and Belnap, Jr., N.D., 1975, Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton, NJ: Princeton University Press.
2. Avron, A., 1997, "Multiplicative conjunction as an extensional conjunction," Logic Journal of the IGPL5, 181-208.
3. Bayu S. and Ono, H., 1996, "Cut elimination in noncommutative substructural logics," Reports on Mathematical Logic 30, 13-29.
4. Girard, J.-Y., 1987, "Linear logic," Theoretical Computer Science 50, 1-102.
5. Hori, R., Ono, H. and Schellinx, H., 1994, "Extending intuitionistic linear logic with knotted structural rules," Notre Dame Journal of Formal Logic 35, 219-242.
6. Kashima, R. and Kamide. N., 1997, "A family of substructural implicational logics," JAIST Research Report, ftp://logic jaist.ac jp/pub/papers/kashima/kashima 1 .dvi.gz
7. Kashima, R. and Kamide, N., 1999, "Substructural implicational logics including the relevant logic E," Studia Logica 63, 181-212.
8. Eambek, J., 1988a, "The mathematics of sentence structure," pp. 154-170 in Categorial Grammar, Linguistic and Literary Studies in Eastern Europe 25, W. Buszkowski, W. Marciszewski, and J. van Benthem, eds., Amsterdam: John Benjamins (Offprint).
9. Eambek, J., 1988b, "Categorial and categorical grammars," pp. 297-317 in Categorial Grammars and Natural Language Structures, SEAP 32, R.T. Oehrle, ed., Dordrecht: D. Reidel.
10. Ohnishi, M. and Matsumoto, K., 1964, "A system for strict implication," Annals of the Japan Association for Philosophy of Science 2, 183-188.
11. Ono, H., 1993, "Semantics for substructural logics," pp. 259-291 in Substructural Logics, K. Dosen and P. Schroeder-Heister, eds., Oxford: Oxford University Press.
12. Ono, H., 1998, "Proof-theoretic methods in nonclassical logic - An introduction," MSJ Memoirs 2, 207-254.
13. Takeuti, G., 1987, Proof Theory, 2nd edn., Amsterdam: North-Holland.
14. Troelstra, A.S., 1992, Lectures on Linear Logic, CSEI Eecture Notes, Vol. 29, Stanford, ÇA: CSEI.
15. Urquhart, A., 1972, "Semantics for relevant logics," The Journal of Symbolic Logic 37, 159-169.