@article {Kashima:September 1999:0039-3215:181,
	author = "Kashima, Ryo",
	author = "Kamide, Norihiro",
	title = "Substructural Implicational Logics Including the Relevant Logic E",
	journal = "Studia Logica",
	volume = "63",
	year = "September 1999",
	abstract = "We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic logic.",
	pages = "181-212(32)",
	url = "http://www.ingentaconnect.com/content/klu/stud/1999/00000063/00000002/00239710"
	doi = "doi:10.1023/A:1005210613711"
}