|
Published: 24th March 2012 DOI: 10.4204/EPTCS.81 ISSN: 2075-2180 |
| Preface | 1 |
| Invited Presentation: A Logical Framework for Set Theories Arnon Avron | 3 |
| Confluence via strong normalisation in an algebraic λ-calculus with rewriting Pablo Buiras, Alejandro Díaz-Caro and Mauro Jaskelioff | 16 |
| Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach Favio Ezequiel Miranda-Perea and Lourdes del Carmen González-Huesca | 30 |
| On Graph Refutation for Relational Inclusions Paulo A. S. Veloso and Sheila R. M. Veloso | 47 |
| A Formalization of the Theorem of Existence of First-Order Most General Unifiers Andréia B Avelar, André L Galdino, Flávio LC de Moura and Mauricio Ayala-Rincón | 63 |
| Classical and quantum satisfiability Anderson de Araújo and Marcelo Finger | 79 |
This volume contains the presentations at the Sixth Workshop on Logical and Semantic Frameworks with Applications (LSFA2011). The content consists of an invited paper, six accepted presentations and four posters. The workshop was held in Belo Horizonte, Brazil on August 27, 2011. The aim of the LSFA workshop series is to bring together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming languages, supporting tool development and reasoning.
Previous workshops have been organized in Natal (2006), Ouro Preto (2007), Salvador (2008), Brasilia (2009), Natal (2010).
The invited speakers at the workshop were:
The program committee of LSFA2011 consisted of:
The organizing committee of LSFA2011 consisted of:
We are grateful to CAPES for their continuing support.
Elaine Pimentel and Simona Ronchi della Rocca
Belo Horizonte, March 6th, 2012.