直觉主义逻辑论文

范畴语法层级系统及其在自然语言计算中的优劣分析姚从军，李奕丹(湘潭大学碧泉书院，湖南湘潭411105)摘要：从经典命题逻辑到原始兰贝克演算，基于规则的存废形成了演算的“结构层级...