Analysis and synthesis of logics : How to cut and paste reasoning systems.