Abstract
In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
