Norihiro Kamide Synthesized substructural logics. 219-225 2007 53 Math. Log. Q. 3 http://dx.doi.org/10.1002/malq.200610036 db/journals/mlq/mlq53.html#Kamide07