bokomslag Fibring Logics
Data & IT

Fibring Logics

Dov M Gabbay

Inbunden

2209:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 1998
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.
  • Författare: Dov M Gabbay
  • Format: Inbunden
  • ISBN: 9780198503811
  • Språk: Engelska
  • Utgivningsdatum: 1998-11-05
  • Förlag: Oxford University Press