机译:Hajek Logic BL的Tableau微积分
Dipartimento di Matematica, Via del Capitano 15, 53100 Siena, Italy;
fuzzy logics; tableau calculus; proof systems;
机译:Monadic BL代数:Hajek的Monadic模糊逻辑的等效代数语义
机译:Hajek基本逻辑的标准完整性和BL链的分解
机译:时序信念逻辑的解析表演算
机译:用于命题逻辑的Tableau微积分的基于规则的可视化
机译:基于树的工作流验证框架,用于计算树逻辑(CTL)。
机译:X射线照片显示右侧蝶窦的Hajek钩
机译:扩展模糊逻辑BL的集合可满足性的一个表格