Dualitäten für Strukturen der angewandten Logik

Dualitäten für Strukturen der angewandten Logik (Ewa Orlowska)

Originaltitel:

Dualities for Structures of Applied Logics

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848901810
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch
Erscheinungsjahr:2015
Seitenzahl:396

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Dualitäten für Strukturen der angewandten Logik - Dualities for Structures of Applied...
Dieses Buch bietet einen Rahmen für die Darstellung von...
Dualitäten für Strukturen der angewandten Logik - Dualities for Structures of Applied Logics

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)