11 citations · 72 across the 39 of their papers we have counts for
1 paper · 2 filters
Kosta Dosen
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we in…