区间二型模糊集合的逻辑系统，源自mendel教授的网站。