Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems - Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina; SpringerLink (Online service) (Dordrecht : Springer Science+Business Media B.V., 2008)
Keywords: Logic, Symbolic and mathematical; Mathematics; Logic; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations