机译:自然演绎中Heyting算法的一致性
Consistency; natural deduction; Heyting arithmetic.;
机译:自然演绎中Heyting算法的一致性
机译:Kurt G?Del在逻辑中的第一步:通过自然扣除系统进行算术和结构理论的正式证明
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:基于交互式学习的EM_1 Heyting算法的可实现性解释
机译:自然语言解释的自然演绎证明。
机译:NIRS对心理算术和无控制状态的额叶前反应单次试验分类的休会一致性
机译:经典自然演绎法的减法CR(算术中的数学不完全性)
机译:切割规则的限制与自然演绎算法的一致性