Analysis and Synthesis of Logics

511.3

Carnielli, Walter. Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. -
XVI, 602 p. online resource. - (Applied Logic Series, 35) Content notes : Introductory overview -- Splicing logics: Syntactic fibring -- Splicing logics: Semantic fibring -- Heterogeneous fibring -- Fibring non-truth functional logics -- Fibring first-order logics -- Fibring higher-order logics -- Modulated fibring -- Splitting logics -- New trends: Network fibring -- Summing-up and outlook. 9781402067822 * Logic, Symbolic and mathematical. Logic. Computer science. Mathematical Logic and Foundations. Logic. Mathematical Logic and Formal Languages. * Coniglio, Marcelo., aut, http://id.loc.gov/vocabulary/relators/autGabbay, Dov M., aut, http://id.loc.gov/vocabulary/relators/autGouveia, Paula., aut, http://id.loc.gov/vocabulary/relators/autSernadas, Cristina., aut, http://id.loc.gov/vocabulary/relators/aut * Title * Series