17 citations · 72 across the 42 of their papers we have counts for
1 paper · 2 filters
Mirjana Borisavljevic, Kosta Dosen, Zoran Petric
The paper presents a cut-elimination procedure for intuitionistic propositional logic in which cut is eliminated directly, without introducing the multiple-cut rule mix, and in whi…