Resolve intuitionistic context