变值逻辑相关论文