Abstract
Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean n......
小提示:本篇文献需要登录阅读全文,点击跳转登录