论文部分内容阅读
讨论了L系统的等价简化形式系统L0系统中Lindoedbaum代数的结构与性质，证明了：（1）L0-Lindenbaum代数 一个有界分配格；（2）在L0系统中，（F（S）／，是一个含零元和和单位元的Abel半群，这里对A，B∈F（S），[A]B=（[A]→[B]）进一步，若设T是L0中的定量，A∈F（S），则[A]×[T]＝[A],[A][T]=[T]。