机译:双重直觉逻辑的自然演绎
Wilhelm-Schickard-Institut Eberhard Karls Universität Tübingen Sand 13 72076 Tübingen Germany;
Dual-intuitionism; Natural deduction; Multiple conclusions;
机译:双重直觉逻辑的自然演绎
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:通过自然推导规则在命题逻辑中的应用来识别知识
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:DNA计算机推论的自然演绎法则
机译:双重直觉逻辑与纳尔逊建构逻辑之间的关系(后续计算和证明理论)
机译:不确定性下的推理:主观逻辑演绎的变异。