Oxford Logic Guides- Fibring Logics
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Uitgever: Oxford University Press
- Engels
- Hardcover
- 9780198503811
- 05 november 1998
- 488 pagina's
Samenvatting
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.
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.
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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 05 november 1998
- Aantal pagina's
- 488
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Dov M. Gabbay
- Tweede Auteur
- Dov M. (King'S College London) Gabbay
- Hoofduitgeverij
- Oxford University Press
Overige kenmerken
- Editie
- illustrated edition
- Extra groot lettertype
- Nee
- Product breedte
- 161 mm
- Product hoogte
- 30 mm
- Product lengte
- 241 mm
- Studieboek
- Ja
- Verpakking breedte
- 161 mm
- Verpakking hoogte
- 30 mm
- Verpakking lengte
- 241 mm
- Verpakkingsgewicht
- 1 g
EAN
- EAN
- 9780198503811
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Hardcover
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.