加载中…
2014-05-21
PUC-Logic embedding of Lewis' Deontic Logics
Ricardo Q. A. FernandesEdward H. HaeuslerLuiz Carlos Pereira
文献摘要
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic logic and showing its relative completeness.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本