University College London London UK National Research University Higher School of Economics Moscow Russia;
Steklov Mathematical Institute of the RAS Moscow Russia National Research University Higher School of Economics Moscow Russia;
University of Pennsylvania Philadelphia USA National Research University Higher School of Economics Moscow Russia;
Lambek calculus; Language models; Relational models; Distributive law; Incompleteness; Undecidability;
机译:具有常数的Lambek演算的L模型产生的三价逻辑
机译:具有子折叠和括号模态的乘法添加Lambek微积分
机译:乘法循环线性逻辑和Lambek演算的证明网
机译:L-Models和R型号用于富含添加剂和乘法单位的Lambek Chalulus
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:乘法和添加剂危害回归模型的最佳选择策略
机译:校正:具有子折叠和括号模态的乘法 - 加性LamBek微积分
机译:Lambek微积分富含附加连接