3 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Grigoriy V. Bokov
In this paper we consider propositional calculi, which are finitely axiomatizable extensions of intuitionistic implicational propositional calculus together with the rules of modus…