摘要：nCL的n维布尔代数及n维命题逻辑的序列演算的完备性证明
作者：Antonio Bucciarelli and Antonio Ledda and Francesco Paoli and Antonino Salibra
论文ID：2204.00435
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-08
PDF 下载： 英文版 中文版pdf翻译中