机译:具有强否定性的构造逻辑作为子结构逻辑
Instituto de Matemadtica Aplicada del Litoral- FIQ,CONICET-UNL, Guemes 3450, S3000GLN-Santa Fe, Argentina;
rnInstituto Argentino de Matemdtica, CONICET,Saavedra 15, Piso 3, C1083ACA-Capital Federal, Argentina;
constructive logic; strong negation; nilpotent minimum logic; nelson algebras; residuated lattices; heyting algebras;
机译:具有强否定性的构造逻辑是一种子结构逻辑。 II
机译:具有强否定性的构造逻辑是一种子结构逻辑。一世
机译:具有强否定性的建构逻辑是一种子结构逻辑。 II
机译:Lukasiewicz否定和构造逻辑的多值扩展
机译:子结构逻辑,组合逻辑和lambda演算。
机译:与合成器接口的蜂窝信号电路翻译后取反布尔逻辑设备
机译:具有否定性作为子结构逻辑的构造逻辑的后续演算
机译:逻辑程序中的建构性否定