10 citations · 46 across the 12 of their papers we have counts for
1 paper · 1 filter
Arnon Avron, Anna Zamansky
Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules…