Lília Ramalho Martins

According to our database¹, Lília Ramalho Martins authored at least 3 papers between 2004 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Full classical S5 in natural deduction with weak normalization.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2008

2005

Natural Deduction for Full S5 Modal Logic with Weak Normalization.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

2004

Natural Deduction and Weak Normalization for Full Linear Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2004