A View of Connexive Logics
Dieses Buch ist die erste Monographie zum Thema Konnexive Logik, einer Familie nicht-klassischer Logiken, die auf der Intuition beruht, dass ein Satz nicht gültig impliziert werden kann, noch durch seine eigene Negation impliziert werden kann.
Ähnlich wie die Relevanzlogiken erfordern die konnexiven Logiken eine Bedeutungsverbindung zwischen dem Antezedens und dem Konsekutivum einer gültigen Implikation. Die Interaktion zwischen Negation und Konditionalen sowie mit anderen Konnektiven ist näher an bestimmten Verwendungen in natürlichen Sprachen.
Das Buch ist keine umfassende Studie über konnexive Logiken; es stellt vielmehr die eigene Sicht des Autors auf diese Logiken dar, wobei der Schwerpunkt auf den Facetten dieser Logiken liegt, die den Autor interessieren. Dennoch enthält es genügend Material, um den Leser mit diesen Logiken vertraut zu machen, zu verstehen, wie sie entstehen und wie sie motiviert sind, sowie die ihnen zugrunde liegenden beweis- und modelltheoretischen Prinzipien.
Es ist zu hoffen, dass dieses Buch zur Popularisierung der Konnexiven Logiken und zum Wachstum der derzeit noch kleinen Gemeinde, die sich für sie interessiert, beiträgt.
Nissim Francez ist ein emeritierter Professor für Informatik am Technion, Israel Institute.
der Technologie. An einem bestimmten Punkt seiner Karriere wechselte er von der Forschung im Zusammenhang mit konkurrierenden und.
Verteilte Programmierung und Programmverifikation bis hin zur Forschung in der Computerlinguistik, vor allem der formalen Semantik der natürlichen Sprache. In den letzten Jahren hat er sich mit beweistheoretischer Semantik beschäftigt, insbesondere für natürliche Sprache. In jüngster Zeit hat er sich auch mit nichtklassischen Logiken, einschließlich konnexiver Logiken, beschäftigt.
| ISBN: | 9781848903708 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
