Paraconsistent Relations as a Variant of Kleene Algebras

Juliana Cunha, Alexandre Madeira, Luís S. Barbosa

Kleene algebras (KA) and Kleene algebras with tests (KAT) provide an algebraic framework to capture the behavior of conventional programming constructs. This paper explores a broad…