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

E-Book, Englisch, 602 Seiten

Carnielli / Coniglio / Gouveia Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems
1. Auflage 2008
ISBN: 978-1-4020-6782-2
Verlag: Springer-Verlag
Format: PDF
 Kopierschutz: Wasserzeichen (»Systemvoraussetzungen)

How to Cut and Paste Reasoning Systems

E-Book, Englisch, 602 Seiten

ISBN: 978-1-4020-6782-2
Verlag: Springer-Verlag
Format: PDF
 Kopierschutz: Wasserzeichen (»Systemvoraussetzungen)

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 / Gouveia Analysis and Synthesis of Logics jetzt bestellen!

Autoren/Hrsg.

Carnielli, Walter
Coniglio, Marcelo
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.