Cornell University Ithaca USA;
机译:基于相似性的逻辑编程语言的完善而完整的语义
机译:一阶谓词逻辑的语义完整性和弱扇定理
机译:直觉性公共广播逻辑的代数语义和模型完整性
机译:通过计算 - 有意义的语义对祖先逻辑的完整性
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:谓词逻辑的代数语义及其完整性(非经典逻辑及其Kripke语义)
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义