Sheaves, Games, and Model Completions, Fachbücher von Silvio Ghilardi, M. Zawadowski

"Sheaves, Games, and Model Completions" ist ein Fachbuch, das die fruchtbare Interaktion zwischen nicht-klassischen propositionellen Logiken und klassischer Modelltheorie untersucht. Ermöglicht durch die kategorische Logik, zielt das Buch darauf ab, die Existenz von Modellvollendungen für äquationale Theorien zu erforschen, die aus propositionellen Logiken hervorgehen. Dazu gehören unter anderem die Theorie der Heyting-Algebren und verschiedene Theorien, die mit der propositionellen Modallogik verbunden sind. Das Buch behandelt auch die Beweis-theoretischen Aspekte der Interpretierbarkeit der zweiten Ordnung der propositionalen Logik in die gewöhnliche propositionale Logik. Darüber hinaus werden zahlreiche Themen zur kategorialen Struktur endlich präsentierter Algebren behandelt, einschliesslich ihrer Anwendungen auf sowohl standardisierte als auch neue propositionale Logiken. Ein besonderes Augenmerk liegt auf der Sheaf-Darstellung, die zeigt, dass die schöne kategoriale Struktur dieser Algebren oft nur eine Einschränkung der natürlichen Struktur in Sheaves ist. Das Buch ist als Forschungsbuch konzipiert und berichtet über aktuelle und oft völlig neue Ergebnisse in diesem Bereich.