2014/05/21 by Ricardo Q. A. Fernandes, Edward H. Haeusler, Edward Hermann Hæusler +4
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
paper · pdf · doi:10.48550/arxiv.1405.7285
arxiv created 2014/05/21 · openalex publication_date 2014/05/21 · arxiv updated 2014/05/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic \boldsymbolCO logic and showing its relative completeness.