Show Less
Restricted access

Nichttheoreme

Eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen

Series:

Gert-Dietrich Döben

Aus dem Inhalt: Ausführliche Einleitung - Sprache 1. Stufe - Baumerzeugung - Tableauerzeugung - Tableauerzeugung und logische Semantik - Nichttheoreme - Reduktionsklassen - Folgerungsrelevante syntaktische Eigenschaften von Formeln.