Abstract
Graph normal form, GNF, [1], was used in [2, 3] for analyzing paradoxes in propositional discourses, with the semantics-equivalent to the classical on......
小提示:本篇文献需要登录阅读全文,点击跳转登录