Bi-approximation Semantics for Substructural Logic at Work. - Tomoyuki Suzuki 001 (Advances in Modal Logic, 2010)

Canonicity and bi-approximation in non-classical logics. - Tomoyuki Suzuki 001 (2010)

Towards Nominal Formal Languages - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (CoRR, 2011)

Canonicity Results of Substructural and Lattice-based Logics. - Tomoyuki Suzuki 001 (Rev. Symb. Log., 2011)

Morphisms on Bi-approximation Semantics. - Tomoyuki Suzuki 001 (Advances in Modal Logic, 2012)

On Nominal Regular Languages with Binders. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (FoSSaCS, 2012)

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (IFIP TCS, 2012)

Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (CoRR, 2013)

A Sahlqvist Theorem for Substructural Logic. - Tomoyuki Suzuki 001 (Rev. Symb. Log., 2013)

On Polarity Frames: Applications to Substructural and Lattice-based Logics. - Tomoyuki Suzuki 001 (Advances in Modal Logic, 2014)