海词手机词典
  • We first introduce several kinds of effect algebras including the anti-BZ-effect algebras and the S-anti-BZ-effect algebras, and then prove that the set of anti-BZ sharp elements of S-anti-BZ-effect algebras is an orthomodular lattice.

    播放读音 播放读音