On the Kleene Algebra of Partial Predicates with Predicate Complement
Ievgen Ivanov, Mykola S. Nikitchenko · 2019
In the paper we investigate the question of expressibility of partial predicates in the Kleene algebra extended with the composition of predicate complement and give a necessary and sufficient condition of this expressibility in terms of the existence of an optimal solution of an optimization problem. The obtained results may be useful for de- velopment of (semi-)automatic deduction tools for an extension of the Floyd-Hoare logic for the case of partial pre- and postconditions.