standard system of deontic logic
SDLC是SDL（道义逻辑标准系统，Standard system of Deontic Logic）的扩张。它是由下列公理和推导规则 所组成： 从以上的语义中我们可以看出，莫托的□符号强调了条 件和行...
基于4个网页-相关网页
standard system of deontic logic
道义逻辑的标准体系
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Now what the people widely use is the SDL system (standard deontic logic system), but the SDL system receives a series of paradoxes, in which most lets the logician headache is the CTD paradox.
现在人们广泛使用的是SDL系统(标准道义逻辑系统)，但SDL系统都受到一系列悖论的困扰，其中最让逻辑学家头痛的就是CTD悖论。
youdao
更多双语例句