Sheila R.M. Veloso

Bibliography

Freitas, Renata P. de, Viana, Jorge P., Benevides, Mario R. F., Veloso, Sheila R. M. and Veloso, Paulo A. S. 2003. “Squares in Fork Arrow Logic.” The Journal of Philosophical Logic 32(4): 343–355.
Vana, Leonardo B., Veloso, Paulo A. S. and Veloso, Sheila R. M. 2004. “On the Structure of Natural Deduction Derivations for ‘Generally’ .” in Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work, edited by Luiz Carlos Pereira, Edward Hermann Hausler, and Valeria de Paiva, pp. 103–128. Trends in Logic n. 39–54. Dordrecht: Springer.