Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 分离逻辑与理论推理的两个结果。 2022 abs/2206.09389 CoRR公司 https://doi.org/10.48550/arXiv.2206.09389 db/journals/corr/corr2206.html#abs-2206-09389