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