机译:具有强否定性的建构逻辑是一种子结构逻辑。 II
Constructive logic; strong negation; substructural logic; Nelson algebra; algebra; residuated lattice;
机译:具有强否定性的构造逻辑是一种子结构逻辑。 II
机译:具有强否定性的建构逻辑是一种子结构逻辑。 II
机译:具有强否定性的构造逻辑是一种子结构逻辑。一世
机译:关于偏K值逻辑中Sheffer函数的决策的一些结果。 II
机译:用于重写逻辑的构造语义。
机译:使用模糊逻辑对计算机化准则中的不确定性进行建模。
机译:强大否定的建设性逻辑是一个副结构逻辑。 II
机译:逻辑程序中的建构性否定