Carnielli / Coniglio / Gabbay | Analysis and Synthesis of Logics | E-Book | www2.sack.de
E-Book

E-Book, Englisch, Band 35, 602 Seiten, eBook

Reihe: Applied Logic Series

Carnielli / Coniglio / Gabbay Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems
2008
ISBN: 978-1-4020-6782-2
Verlag: Springer Netherland
Format: PDF
 Kopierschutz: 1 - PDF Watermark

How to Cut and Paste Reasoning Systems

E-Book, Englisch, Band 35, 602 Seiten, eBook

Reihe: Applied Logic Series

ISBN: 978-1-4020-6782-2
Verlag: Springer Netherland
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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 theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.

Carnielli / Coniglio / Gabbay Analysis and Synthesis of Logics jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.