3 citations · 5 across the 6 of their papers we have counts for
1 paper · 2 filters
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…