A proof system for fork algebras and its applications to reasoning in logics based on intuitionism