机译:自然演绎中的完整Lambek微积分
Lambek calculus; natural deduction; normalisation; multiplicatives; additives; quantifiers;
机译:自然演绎中的完整Lambek微积分
机译:使用Lambek演算的“自然逻辑”推理系统
机译:演算与自然演绎之间的又一个双射
机译:自然语言语法和语义中的对称性:Lambek-Grishin微积分
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:DNA计算机推论的自然演绎法则
机译:言语行为演算。实用的自然演绎演算及其元理论
机译:Lambek微积分富含附加连接