Kniha Fibring Logics Dov M. Gabbay

Fibring Logics

Autor: Dov M. Gabbay
Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
2 990
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1998
Stránek
488
EAN
9780198503811
ISBN
0198503814
Enbook ID
04526830
Hmotnost
887
Rozměry
161 x 241 x 30

Kompletní popis

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.

Mohlo by vás zajímat

469

Fiume Crisis

Dominique Kirchner Reill
1 036

Busy Life

Wallace H. F Wallace
436
301
2 184
4 712

Amazon Legion

Tom Kratman
199

Zákaznicí kteří koupili tuto knihu koupili také

Oeuvres Completes de Montesquieu (Ed.1834)

Charles-Louis De Secondat Montesquieu
1 058

Traumatismo raquimedular

Gregorio Rodríguez Boto
1 355