Leonardo B. Vana

According to our database, Leonardo B. Vana authored at least 3 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Natural Deduction for "Generally".

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso

Log. J. IGPL, 2007

Sequent Calculi for 'Generally'.

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

2003

A Tableau Method for the Lambek Calculus based on a Matrix Characterization.

Leonardo B. Vana, Marcelo da Silva Corrêa

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003