Role R-Calculus for Post Three-Valued DL 章节 发表日期： 2024年 查看全文 Wei Li, Yuefei Sui 摘要 For each validity, there is a sound and complete deduction system
