具有公式不动点的线性逻辑分类模型| IEEE会议出版物| IEEE Xplore