{"product_id":"fibring-logics","title":"Fibring Logics","description":"\u003cp\u003eModern 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.\u003c\/p\u003e","brand":"Dov M. Gabbay","offers":[{"title":"Default Title","offer_id":43563255562301,"sku":"9780198503811","price":304.0,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0597\/7689\/2989\/files\/9780198503811.jpg?v=1788439309","url":"https:\/\/www.palmleaf.com.au\/products\/fibring-logics","provider":"Palmleaf","version":"1.0","type":"link"}