1 paper · 1 filter
Zhe Cen, Xiutao Feng, Zhangyi Wang +1
In a deduction system with some propositions and some known relations among these propositions, people usually care about the minimum of propositions by which all other proposition…