55 citations · 128 across the 19 of their papers we have counts for
1 paper · 1 filter
Arnon Avron, Ori Lahav
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp…