Describir: Axiomatizing non-deterministic many-valued generalized consequence relations.