Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008. Electronic Notes in Theoretical Computer Science 247, Elsevier 2009