2 citations · 5 across the 12 of their papers we have counts for
1 paper · 1 filter
Mahfuza Farooque, Stéphane Graham-Lengrand
In this paper, we introduce two focussed sequent calculi, LKp(T) and LK+(T), that are based on Miller-Liang's LKF system for polarised classical logic. The novelty is that those se…