辩证逻辑形式化相关论文