Analysis and Synthesis of Logics (eBook, PDF) - Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina
-12%
129,95 €
Statt 146,99 €**
129,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
65 °P sammeln
-12%
129,95 €
Statt 146,99 €**
129,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
65 °P sammeln
Als Download kaufen
Statt 146,99 €**
-12%
129,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
65 °P sammeln
Jetzt verschenken
Statt 146,99 €**
-12%
129,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
65 °P sammeln
  • Format: PDF


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.…mehr

Produktbeschreibung
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.


Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

  • Produktdetails
  • Verlag: Springer-Verlag GmbH
  • Seitenzahl: 602
  • Erscheinungstermin: 22. Januar 2008
  • Englisch
  • ISBN-13: 9781402067822
  • Artikelnr.: 37358072
Inhaltsangabe
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.
Rezensionen
From the reviews:

"This is an advanced book on the combination of logics, which is a recent hot topic in logical research. The merit of the book is that it provides an overview of the scene, besides proving original theorems, in the scope of a general methodology for combination called fibring. ... This book will be of interest to a large audience given that it also deals with applications of fibring in different areas." (Alexandre Costa-Leite, Mathematical Reviews, Issue 2010 a)