Abstract
We provide sufficient conditions for the existence of a conservative translation from a consequence system to another one. We analyze the problem in m......
小提示:本篇文献需要登录阅读全文,点击跳转登录