机译:可判定的超一致相关逻辑:Gentzen系统和Routley-Meyer语义
机译:无指定点的Routley-Meyer语义中的非相关De Morgan极小逻辑
机译:Gdel 3值逻辑的Routley-Meyer语义及其超一致对等
机译:正常逻辑程序静态嵌入式含义的变形语义
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:多值逻辑 - 含义和语义后果
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义