当前位置: Fei Liang's homepage >> 科学研究 >> 论文成果

Algebraic Proof Theory for LE-logics

发布时间：2024-05-22 点击数：

所属单位：哲学与社会发展学院

论文名称：Algebraic Proof Theory for LE-logics

发表刊物：ACM Transactions on Computational Logic

论文编号：1754450339719565313

卷号：25

期号：1

字数：20

是否译文：否

发表时间：2024-01

上一条： Bilattice Logic Properly Displayed

下一条：带关系量化的模态逻辑的萨奎斯特对应理论（英文）

梁飞 (副教授)