1. Abrusci, M., Ruet, P.: Non-commutative logic I: the multiplicative fragment. Ann. Pure Appl. Log. 101, 29–64 (2000)
2. Basin, D., D’Agostino, M., Gabbay, D.M., Matthews, S., Viganó, L. (eds.): Labelled Deduction, Volume 17 of Applied Logic Series. Kluwer Academic Publishers, Dordrecht (2000)
3. Brotherston, J., Villard, J.: Sub-classical Boolean bunched logics and the meaning of par. In: International Conference on Computer Science Logic, CSL 2014, LIPIcs, Dagsthul, Vienna, Austria, pp. 325–342 (2014)
4. Collinson, M., Pym, D.: Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. 19(5), 959–1027 (2009)
5. Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel Publishing Company, Dordrecht (1983)