To deal with those problems, Wenbo Mao and Colin Boyd have published a new logic (MB93).

• 为解决这些问题，WenBoMao，ColinBoyd于1993年提出了一个新的逻辑（MB93）。