Ross T. Brady. Gentzenizations of Relevant Logics Without Distribution, II. Journal of Symbolic Logic, 61(2):379-401, 1996.
@article{Brady96a, title = {Gentzenizations of Relevant Logics Without Distribution, II}, author = {Ross T. Brady}, year = {1996}, tags = {logic}, researchr = {https://researchr.org/publication/Brady96a}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {61}, number = {2}, pages = {379-401}, }