Fibring Logics

by Dov M. Gabbay

2020-12-31 05:24:54

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-system... Read more
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 complexsystems 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-fibredlanguages 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. Less

Book Details

File size9.21 X 6.14 X 1.18 in
Print pages488
PublisherOxford University Press
Publication date April 30, 1999
LanguageEnglish
ISBN9780198503811

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Hard Cover Hard Cover Buy CAD 234.00
Indigo Books & MusicIn Stock
Format
Hard Cover
Condition
Hard Cover
Buy CAD 234.00
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free