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)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2008.
• Σειρά: Applied Logic Series, 35
• Θέματα: Mathematics.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The the...

Πίνακας περιεχομένων:

• 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.