A Tableau Method for the Lambek Calculus based on a Matrix Characterization. - Leonardo B. Vana; Marcelo da Silva Corrêa (WoLLIC, 2003)

Sequent Calculi for 'Generally'. - Leonardo B. Vana; Paulo A. S. Veloso; Sheila R. M. Veloso (LSFA, 2007)

Natural Deduction for "Generally". - Leonardo B. Vana; Paulo A. S. Veloso; Sheila R. M. Veloso (Log. J. IGPL, 2007)