We formulate, in lattice-theoretic terms, two novel algorithms inspired ...
We present LT-PDR, a lattice-theoretic generalization of Bradley's prope...
The coincidence between initial algebras (IAs) and final coalgebras (FCs...
A cyclic proof system allows us to perform inductive reasoning without
e...