Positive Fork Graph Calculus

Autor(es)

de Freitas, Renata ; Veloso, Sheila R. M. ; Veloso, Paulo A. S. ; Viana, Petrucio ; Artemov, S ; Nerode, A

• Tipo de documento: Artigo Científico
• Fonte: Lecture Notes in Computer Science; v. 5407, p. 2-pg., 2009-01-01.

Resumo

We introduce and illustrate a graph calculus for proving and deciding the positive identities and inclusions of fork algebras, i.e., those without occurrences of complementation. We show that this graph calculus is sound, complete and decidable. Moreover, the playful nature of this calculus renders it much more intuitive than its equational counterpart. (AU)

• Processo FAPESP: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
• Beneficiário: Walter Alexandre Carnielli
• Modalidade de apoio: Auxílio à Pesquisa - Temático