Abstract
We consider extensions of Johansson's minimal logic J. It was proved in [1] that the weak interpolation property (WIP) is decidable over the minimal l......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
