207 citations · 309 across the 9 of their papers we have counts for
1 paper · 1 filter
Chris Barrett, Alessio Guglielmi
We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees.…