多模态 Lambek 演算的证明网 电子书下载

原名:Proof Nets for the Multimodal Lambek Calculus
作品简介:给定一组结构规则 R，我们通过将 .. 应用于其他公式（称为活动公式或 L 的输入公式）来定义序列演算 NL3R。两个子结构的两个转换序列：29……