允许修改推理规则的开放逻辑

出版物
科学通报