机译:用模态扩展?lukasiewicz逻辑:关系语义的代数方法
Canonical model; Kripke semantic; Many-valued logic; Modal logic; MV-algebras; Relational semantic;
机译:用模态扩展Łukasiewicz逻辑:关系语义的代数方法
机译:命题非正规模态逻辑的多关系语义变体
机译:基于Lukasiewicz代数的逻辑的Kripke风格和关系语义
机译:基于MV-代数的带评估语法的提议模糊模态逻辑
机译:关系代数工具包:一种用户友好的方法,用于在网络上呈现和处理关系代数查询。
机译:关系数据的语义查询以用于临床智能:基于语义Web服务的方法
机译:用形式扩展Łukasiewicz逻辑:关系语义的代数方法
机译:多集扩展关系代数:实际问题的形式化方法