CERES and Fast Cut-Elimination, Fachbücher von Mikheil Rukhaia

"CERES and Fast Cut-Elimination" ist ein Fachbuch, das sich mit einem der bedeutendsten Theoreme der Logik, dem Cut-Elimination-Theorem von Gentzen, beschäftigt. Dieses Theorem spielt eine zentrale Rolle in der formalen Logik, da die Eliminierung von Cuts in formalen Beweisen der Beseitigung von Zwischenlemmas in mathematischen Beweisen entspricht. Das Buch zielt darauf ab, Klassen zu identifizieren, in denen die Cut-Elimination elementar ist, also schnell durchgeführt werden kann. Der erste Teil des Buches führt in grundlegende Begriffe der Logik ein, einschliesslich Sequenzkalkül und Resolutionskalkül, und beschreibt zwei Methoden der Cut-Elimination: die Gentzen-Methode und die CERES-Methode. Es wird nachgewiesen, dass die CERES-Methode die Gentzen-Methode erheblich beschleunigt. Im zweiten Teil wird die CERES-Methode als Werkzeug verwendet, um schnelle Klassen zu identifizieren und die elementare Cut-Elimination zu beweisen. Das Buch ist selbstständig und in einer leicht verständlichen Sprache verfasst, sodass es für alle Interessierten an Logik und Beweistheorie zugänglich ist.