Dov M Gabbay

Fibring Logics

• Gebundenes Buch

Produktbeschreibung

Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.

Produktdetails

• Verlag: Oxford University Press, USA
• Seitenzahl: 488
• Erscheinungstermin: 24. Dezember 1998
• Englisch
• Abmessung: 229mm x 152mm x 32mm
• Gewicht: 889g
• ISBN-13: 9780198503811
• ISBN-10: 0198503814
• Artikelnr.: 21159461

Inhaltsangabe

1: An overview
2: Logics and their semantics
3: Combining modal logics
4: Intuitionistic modal logics
5: Comparison with literature
6: Introducing self-fibring
7: Self-fibring of predicate logics
8: Self-fibring with function systems
9: Self-fibring of intuitionistic logic
10: Applications of self-fibring
11: Conditional implication
12: How to make your logic fuzzy
13: Combing temporal logic systems
14: Grafting modalities
15: Fibred tableaux