Abstract
We study deduction systems for the weakest, extensional and two-valued non-Fregean propositional logic SCI. The language of SCI is obtained by expandi......
小提示:本篇文献需要登录阅读全文,点击跳转登录