Anno: 1998
Rilegatura: Hardback
Pagine: 488 p.
Testo in English
Dimensioni: 241 x 161 mm
Peso: 887 gr.
  • EAN: 9780198503811
pagabile con 18App pagabile con Carta del Docente

Articolo acquistabile con 18App e Carta del Docente

€ 88,83

€ 94,50

Risparmi € 5,67 (6%)

Venduto e spedito da IBS

89 punti Premium

Disponibile in 10 gg

Quantità:
Descrizione
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining-or fibring-systems. This means that many existing complex systems can be broken down into simpler components, hence making them much easier to manipulate. Using this methodology the book discusses ways of obtaining a wide variety of multimodal, modal intuitionistic, modal substructural and fuzzy systems in a uniform way. It also covers self-fibred languages which allow formulae to apply to themselves. The book also studies sufficient conditions for transferring properties of the component logics into properties of the combined system.