Lewis道义逻辑的PUC-逻辑嵌入
PUC-Logic embedding of Lewis' Deontic Logics
摘要：
本文给出了Lewis道义逻辑在PUC-Logic中的一个嵌入。我们通过表示不同的基本$\boldsymbol{CO}$逻辑并显示其相对完整性来实现这一点。
英文摘要：
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic $\boldsymbol{CO}$ logic and showing its relative completeness.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
