4 citations · 10 across the 7 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…