Deductive operators of combinatory logic