机译:正自由逻辑的事务状态语义
Universit?t Salzburg, Fachbereich Philosophie, Franziskanergasse 1, 5020 Salzburg, ?sterreich;
机译:模糊不等式逻辑的自由变量语义表
机译:模糊不等式逻辑的自由变量语义表(2016年第55卷,第103页)
机译:具有广义有限值语义的逻辑的无割普通后续计算
机译:通过语义嵌入的积极自由级逻辑及其自动化
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:伴随模态的实证逻辑:证明理论,语义学和信息推理