(Springer) (Google Books)

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

Applied Logic Series,  Springer February 2008

Authors: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia  and  Cristina Sernadas