科研之友
微信
新浪微博
Facebook
分享链接
摘要
In this paper we develop what we can describe as a "dual two-sided" cut-free sequent calculus system for the non-classical logics of truth lp, k (3), stt and a non-reflexive logic ts which is, arguably, more elegant than the three-sided sequent calculus developed by Ripley (The Review of Symbolic Logic 5:354-378, 2012) for the same logics. Its elegance stems from how it employs more or less the standard sequent calculus rules for the various connectives and truth, and the fact that it offers a rather neat connection between derivable sequents and validity in comparison to the calculus developed by Ripley
- 出版日期2017-2
