用于提取隐式信息的资源感知逻辑和证明转换下载（241 页） 电子书下载

原名:Resource-Aware Logics and Proof Transformations to Extract Implicit Information Download (241 Pages)
作品简介:（第 8 节）。在第二部分中，我们研究线性逻辑和 CsD 中的赫布兰德定理，通过归纳假设，我们有 e(Ci) = Si = e(C) 和 e(D,) = 82 = e(D) 设 Y E F，假设 Y E e( C) 并考虑 Y E e(C) 的计算。……