Reasoning from hypotheses in *-continuous action lattices

Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski

The class of all $\ast$-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The c…