residuated transition systems

https://isa-afp.org/entries/ResiduatedTransitionSystem.html Residuated Transition Systems - Archive of Formal Proofs Residuated Transition Systems in the Archive of Formal Proofs residuated transition systems archive formal proofs

Robuta