✨ Featured Offer
Brand New
$162.85
List Price: $160.00
🚚
See all 4 offers from $161.27 FREE standard delivery by: 30 Mar 2026
Overview
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.
| ISBN-13 | 9780198503811 |
|---|---|
| ISBN-10 | 0198503814 |
| Weight | 1.95 Pounds |
| Dimensions | 6.00 x 1.10 x 9.30 In |
| List Price | $160.00 |
| Edition | 1st Edition |
| Format | Hardcover |
|---|---|
| Language | English |
| Pages | 488 pages |
| Publisher | Clarendon Press |
| Published On | 1998-12-24 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 30 Mar 2026
✨ Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 30 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Sewn binding. Cloth over boards. 488 p. Contains: Unspecified. Oxford Logic Guides,...
Free delivery by: 30 Mar 2026
Brand New
Seller details
Paperbackshop
Bensenville, IL, USA
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot of...
Free delivery by: 30 Mar 2026