Sisäänkirjautuminen

Carnielli, Walter

Analysis and Synthesis of Logics

Carnielli, Walter - Analysis and Synthesis of Logics, e-kirja

164,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781402067822
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

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

2. Splicing logics: Syntactic fibring
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

3. Splicing logics: Semantic fibring
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

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

5. Fibring non-truth functional logics
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

6. Fibring first-order logics
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

7. Fibring higher-order logics
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

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

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

10. New trends: Network fibring
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

11. Summing-up and outlook
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: MATHEMATICS / General MAT000000

Tekijä(t)
 
 
 
 
Julkaisija
Springer
Julkaisuvuosi
2008
Kieli
en
Painos
1
Kategoria
Eksaktit luonnontieteet
Tiedostomuoto
E-kirja
eISBN (PDF)
9781402067822

Samankaltaisia e-kirjoja