bivalence; complementation; dichotomy; internalization; logical negation;
机译:关联逻辑和直觉否定II:一元连接词引入否定
机译:通过皮带逻辑将明确的否定与失败相结合
机译:通过展平进行经典求反的独立友好逻辑是具有弱依赖关系的二阶逻辑
机译:描绘图解逻辑中的否定:遗产和批准
机译:近似否定符在为推文中的否定自动检测建模方面的作用
机译:与合成器接口的蜂窝信号电路翻译后取反布尔逻辑设备
机译:矛盾的主张如何被否定? -基于权威,条约等的否定逻辑-
机译:逻辑规划与否定:一项调查