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

E-Book, Englisch, Band 35, 602 Seiten

Reihe: Applied Logic Series

Carnielli / Coniglio / Gabbay Analysis and Synthesis of Logics

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

How to Cut and Paste Reasoning Systems

E-Book, Englisch, Band 35, 602 Seiten

Reihe: Applied Logic Series

ISBN: 978-1-4020-6782-2
Verlag: Springer Netherlands
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!

Autoren/Hrsg.

Carnielli, Walter
Coniglio, Marcelo
Gabbay, Dov M.
Gouveia, Paula
Sernadas, Cristina
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.