机译:结合经典与超一致否定的证明系统
Paraconsistent negation; sequent calculus; cut; elimination; completeness;
机译:缓慢的双重否定作为古典和直觉否定
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:校对系统结合经典和滞因增收
机译:可以模拟经典否定的超一致双重否定
机译:通过部分证明组合对象导向软件的静态和动态验证
机译:结合生态矩评估和全球定位系统跟踪来评估吸烟行为:概念验证
机译:一个具有古典否定的滞假逻辑系统
机译:经典和全息干涉测量系统结合文献惯性融合实验