An efficient relational deductive system for propositional non-classical logics