Meta-logical framework for deductive systems
