Dualities for Structures of Applied Logics
Dieses Buch bietet einen Rahmen für die Darstellung von Algebren und Rahmen, die als semantische Strukturen für formale Sprachen entstehen, und für den Nachweis von Beziehungen zwischen den Strukturen. Zu diesem Zweck wird ein diskreter Rahmen, die so genannte diskrete Dualität, anstelle eines topologischen Rahmens verwendet.
Ideen aus den klassischen Dualitäten und Darstellungen von Stone, Priestley und Urquhart werden so angewendet, dass die Topologie nicht Teil der zugrunde liegenden Strukturen oder Beziehungen ist. Ein wesentlicher Beitrag des Buches ist die Formulierung des Konzepts der Dualität über Wahrheit, mit dem ausgedrückt wird, dass eine Klasse von Algebren und eine Klasse von Frames äquivalente Wahrheitsbegriffe für eine gegebene formale Sprache bestimmen. Diskrete Dualität und Dualität über Wahrheit werden auf eine Fülle von Fallstudien angewandt, die in drei Hauptteilen vorgestellt werden, nämlich Klassen von booleschen Gittern, distributiven Gittern bzw.
allgemeinen, nicht unbedingt distributiven Gittern. Das Buch ist in sich abgeschlossen, und alle Ergebnisse sind hinreichend detailliert bewiesen, so dass eine einfache Überprüfung möglich ist.
| ISBN: | 9781848901810 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2015 |
| Seitenzahl: | 396 |
Derzeit verfügbar, auf Lager.
