逻辑数理型相关论文