(半)近性Heyting代数相关论文