Showing cs.LOShow all
2 papers · 1 filter
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…