线性逻辑
更新时间:-- | 阅读量: 166

一种非经典逻辑.它由施灏(Girard)于1987年提出的一种逻辑系统,它可以看做是对古典...根岑（Gentzen，G.）的切割消除性质对于线性逻辑是成立的，并且直觉主义逻辑能被嵌入到线性逻辑中，从proposition-as-type ...

搜索到与“ 线性逻辑”相关的文献共 1条

马克思的社会历史线性演化逻辑及其语境
马克思在《资本论》中提出了政治经济学命题:"工业较发达的国家向工业较不发达的国家所显示的,只是后者未来的景象。"这一命题内含经济哲学内容,概括性表述是社会历史线性演化逻辑。在马克思文献中,该逻辑存在于...

《北京师范大学学报(社会科学版)》 2020年01期关键词: "社会历史线性演化逻辑"," 东方特定社会历史情势语境"," 俄国特定社会历史情势语境" 收藏