Sciweavers

LFCS
2009
Springer

Positive Fork Graph Calculus

13 years 10 months ago
Positive Fork Graph Calculus
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 and complete. Moreover, the playful nature of this calculus renders it much more intuitive than its equational counterpart.
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LFCS
Authors Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana
Comments (0)