Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153): Difference between revisions

Es wird gezeigt: Die Tarski-Übersetzungen der tabularen und prätabularen superintuitionistischen Logiken sind erblich endlich axiomatisierbar und daher erblich entscheidbar. Die ersten beiden Schichten des Verbandes der modalen Logiken, deren intuitionistisches Fragment im Sinne der Tarski-Übersetzung tabular oder prätabular ist, sind damit abzählbar. Die übrigen Schichten haben jedoch die Mächtigkeit des Kontinuums. Die tabularen Logiken haben im Verband nur endlich viele unmittelbare Vorgänger.