会议论文《不同逻辑间翻译的逻辑性质》探讨了不同逻辑系统之间翻译的逻辑特性。作者分析了翻译过程对逻辑性质的影响，如一致性、完全性和可判定性等。研究为跨逻辑系统的互操作性和形式化验证提供了理论支持，对计算机科学与人工智能领域具有重要意义。
文档为pdf格式，0.46MB，总共8页。
举报
