Analysis and Synthesis of Logics - 9781402067815

Name: Analysis and Synthesis of Logics
Brand: Springer Verlag
Price: 204.00 EUR
Author: Carnielli Walter A., Coniglio Marcelo, Gabbay Dov M., Gouveia Paula, Sernadas Cristina
ISBN: 9781402067815

Un libro in lingua di Carnielli Walter A. Marcelo Coniglio Gabbay Dov M. Paula Gouveia Cristina Sernadas edito da Springer Verlag, 2008

€ 204.00
Il prezzo è variabile in funzione del cambio della valuta d’origine

Aggiungi
al carrello

Punti Accumulabili: +2040

Aggiungi al Pozzo dei Desideri

Analysis and Synthesis of Logics libro in lingua di Carnielli Walter A., Coniglio Marcelo, Gabbay Dov M., Gouveia Paula, Sernadas Cristina

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.

Informazioni bibliografiche

Titolo del Libro in lingua: Analysis and Synthesis of Logics
Sottotitolo: How to Cut and Paste Reasoning Systems
Lingua: English
Autori : Carnielli Walter A. Marcelo Coniglio Gabbay Dov M. Paula Gouveia Cristina Sernadas
Editore: Springer Verlag
Collana: Springer Verlag (Hardcover)
Data di Pubblicazione: 05 Marzo '08
Genere: MATHEMATICS
Argomento: Logic, Symbolic and mathematical
Pagine: 600
Dimensioni mm: 234 x 158 x 38
ISBN-10: 140206781X
EAN-13: 9781402067815