2009年 Implications as Residuals: a perspective of substructural logics The First Taiwan Logic and Analytical Philosophy Conference