...
机译:鲁默在生物学中作为否定在古典逻辑中的转变
Biology base-doublets; Logic binary connectives; Rumer symmetry; Negation; Dihedral group; Genetic-code; Molecular computation; Dna-sequences;
机译:鲁默在生物学中作为否定在古典逻辑中的转变
机译:古典否定扩展Belnap-Dunn逻辑的模态和直觉变种
机译:Genten-Type Sequent Calculi,具有古典否定的扩展Belnap-Dunn逻辑:一般框架
机译:计算树逻辑中的滞后否定与古典否定
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:与合成器接口的蜂窝信号电路翻译后取反布尔逻辑设备
机译:逻辑规划中求反的一种转换方法
机译:逻辑规划与否定:一项调查