机译:相关逻辑R的“四值”语义
Philosophy Victoria University of Wellington, P.O. Box 600, Wellington, New Zealand;
机译:四值模态逻辑:Kripke语义和对偶
机译:一阶四值,弱超一致逻辑及其与粗糙集语义的关系
机译:使用Logics Explorer包从Maple重新访问四值逻辑
机译:默认逻辑的四值语义
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:四值逻辑中程序的语义计算和比较