Lília Ramalho Martins

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Ana Teresa C. Martins, Lília Ramalho Martins
Full classical S5 in natural deduction with weak normalization. Ann. Pure Appl. Log. 152 (1-3) (2008)
Ana Teresa C. Martins, Lília Ramalho Martins
Natural Deduction for Full S5 Modal Logic with Weak Normalization. Electron. Notes Theor. Comput. Sci. 143 (2006)
Lília Ramalho Martins, Ana Teresa C. Martins
Natural Deduction and Weak Normalization for Full Linear Logic. Log. J. IGPL 12 (6) (2004)