Non-Classical Logic: Theory and Applications, 24–26 September. tr 2015, 9 (11).