arXiv ID:
2606.03655
arXiv 提交日期: 2026-06-02
命题可废止立场逻辑中的非单调蕴涵研究 / Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
1️⃣ 一句话总结
本文提出一种方法,将为经典逻辑设计的非单调推理(如理性闭合)扩展到命题可废止立场逻辑中,通过引入“情境立场条件句”使不同立场下的默认推理成为可能,并确保该推理过程在计算复杂度上与原经典逻辑相当。