Książka Fibring Logics Dov M. Gabbay

Fibring Logics

Autor: Dov M. Gabbay
Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-18 dni
523.77
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
1998
strony
488
EAN
9780198503811
ISBN
0198503814
Enbook ID
04526830
Waga
887
Wymiary
161 x 241 x 30

Pełny opis

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.

Możesz być zainteresowany

87.03

Fiume Crisis

Dominique Kirchner Reill
181.46

Busy Life

Wallace H. F Wallace
81.09
55.39
402.27
825.58

Amazon Legion

Tom Kratman
36.69
79.73

Klienci, którzy kupili tę książkę, kupili również

Oeuvres Completes de Montesquieu (Ed.1834)

Charles-Louis De Secondat Montesquieu
193.93

Traumatismo raquimedular

Gregorio Rodríguez Boto
237.35