类型逻辑语法和形式语言
原文：Type-logical grammars and formal languages
我们证明，具有乘积、结合性、提取和中固定标准规则的类型逻辑语法具有 NP 完全固定识别问题，采用 Pshenitsyn (2025) 的一阶线性逻辑结构，Pshenitsyn (2025) 已经证明一阶线性逻辑中的语法在交集下是封闭的，因此不是半线性的，也不是轻度上下文敏感的。我们加强
正在把原文抓到本机服务器…首次约 3~8 秒，抓好后本站永久缓存，下次秒开。
抓不到时可直接看原文（部分站点需要登录/反爬，服务器也无法抓取）。
正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。
