机译:在古典高阶逻辑中组合和自动化古典和非古典逻辑
机译:逻辑与计算学报的非经典逻辑角
机译:组织变革的新范式:在问题与可能性的统一中实施整体实践
机译:关于可解除碎片,非古典逻辑和描述逻辑之间的关系
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:评级解释与图像的二元临床解释之间的衡量协议:量化观察者性能范式临床相关性的方法的模拟研究
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:谓词/过渡网络s不变量的自动解释:非经典逻辑的应用