机译:具有常数的Lambek演算的L模型产生的三价逻辑
Moscow State University, Russia;
Lambek calculus; models on subsets of free monoids; trivalent logics;
机译:乘法循环线性逻辑和Lambek演算的证明网
机译:用于乘法循环线性逻辑和Lambek微积分的证明网
机译:用直觉命题逻辑扩展的Lambek微积分
机译:包含添加剂和乘法单元的Lambek演算的L模型和R模型
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:粘液性膀胱瘤瘤与肾盂钙化引起的肾盂发光出现的肾小音与肾内肾病分析:对罕见案例的报告和对文献的审查
机译:Lambek微积分与线性逻辑中的可连通性关系
机译:Lambek微积分富含附加连接