Lo*-Lindenbaum代数的结构与性质 (2001年)

讨论了L*系统的等价简化形式系统Lo*系统中Lindenbaum代数的结构与性质。证明了：（1）Lo*-Lin-denbaum代数是一个有界分配格；（2）在Lo*系统中，（F（s）/≈， ）是一个含零元和单位元的Abel半群，这里对A，B∈F（S），[A] [B]=（[A]→[B]）。进一步，若设T是Lo*中的定理，A∈F（s），则[A] [T]=[A]，[A] [T]=[T]。