3 papers
cs.PL2022
Removing Qualified Names in Modular Languages
Keehang Kwon, Daeseong Kang
Although the notion of qualified names is popular in module systems, it causes severe complications. In this paper, we propose an alternative to qualified names. The key idea is to…
cs.LO2020
Agent-Based Proof Design via Lemma Flow Diagram
Keehang Kwon, Daeseong Kang
We discuss an agent-based approach to proof design and implementation, which we call {\it Lemma Flow Diagram} (LFD). This approach is based on the multicut rule with cuts.…
cs.LO2012
Mutually Exclusive Rules in LogicWeb
Keehang Kwon, Daeseong Kang
LogicWeb has traditionally lacked devices for expressing mutually exclusive clauses. We address this limitation by adopting choice-conjunctive clauses of the form $D_0 \adc D_1$ wh…