Fibring Logics

Erscheinungsjahr 1998
ISBN: 978-0-19-850381-1
Verlag: OUP Oxford

Buch, Englisch, 488 Seiten, Print PDF, Format (B × H): 157 mm x 235 mm, Gewicht: 943 g

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.

Autoren/Hrsg.

Gabbay, Dov M.

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Natürliche Sprachen & Maschinelle Übersetzung
• Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik Mathematik Geometrie Dynamische Systeme
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

- 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