机译:Kleene强大逻辑的所有自然潜在扩展的班级相当于Łkasiewicz的3值逻辑£3
机译:Kleene强大逻辑的所有自然临时扩展的班级相当于LKASiewicz的3值逻辑L3
机译:一类Kleene强的逻辑的偶然扩展,一个子类,通过Lukasiewicz的3值逻辑L3的预整来展示功能完整
机译:Belnap-Dunn语义用于带有两个指定值的Kleene强三值矩阵的自然隐式展开
机译:使用隐式逻辑值的全扫描电路的增强型三值逻辑/故障仿真
机译:使用碳氢官能化逻辑合成环丁烷天然产物。
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:减少了逻辑特征的Retley-Meyer语义,其特征是Kleene强大的3值矩阵的自然潜在扩展