机译:具有强否定性的构造逻辑是一种子结构逻辑。一世
Constructive logic; strong negation; substructural logic; Nelson algebra; FLsub ew /sub; algebra; residuated lattice;
机译:具有强否定性的构造逻辑是一种子结构逻辑。 II
机译:具有强否定性的建构逻辑是一种子结构逻辑。 II
机译:具有强否定性的建构逻辑是一种子结构逻辑。一世
机译:Lukasiewicz否定和构造逻辑的多值扩展
机译:用于重写逻辑的构造语义。
机译:使用模糊逻辑对计算机化准则中的不确定性进行建模。
机译:强大否定的建设性逻辑是一个副结构逻辑。 II
机译:逻辑程序中的建构性否定