机译:关于经典一阶逻辑的自然推论:Curry-Howard对应,强归一化和Herbrand定理
Classical first-order logic; Natural deduction; Herbrand's theorem; Delimited exceptions; Curry-Howard correspondence;
机译:关于经典一阶逻辑的自然推论:Curry-Howard对应,强归一化和Herbrand定理
机译:有关“使用CPS翻译进行二阶经典自然演绎的强大归一化证明”的勘误
机译:析取自然经典演绎的强归一化的简短证明
机译:典型自然扣除与分离的强烈标准化
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:关于经典一阶逻辑的自然演绎:Curry-Howard对应,强归一化和Herbrand定理