线性逻辑相空间的分层结构

Hierarchy Structures of Phase Spaces on Linear Logic

本文研究了相空间的代数结构,定义了多层相空间,给出了一个相空间的最小子空间的性质.并据此讨论了线性重言式的某些特点.

In this paper the algebraic structures of phase spaces are investigated. The phase spaces with hierarchy are defined and a property of the least subspaces of a phase space is given. According to these results, some characteristics of linear tautologies are discussed.