摘要：基于受限非确定性矩阵的直觉命题逻辑（IPC）的新决策过程及其声完备性证明
作者：Renato Leme and Marcelo Coniglio and Bruno Lopes
论文ID：2308.13664
分类：Logic
分类简称：math.LO
提交时间：2023-08-29
PDF 下载： 英文版 中文版pdf翻译中