单的负关联半群(续)
단적부관련반군(속)
Simple negatively ordered implicative semigroups(continued)