Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Walter Alexandre Carnielli, Marcelo E. Coniglio, Dov M. Gabbay, Paula Adriana Rodrigues Gouveia, Cristina Sernadas · Medical Entomology and Zoology · 2008
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.