Definability theorems in normal extensions of the provability logic (Q918958)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Definability theorems in normal extensions of the provability logic
scientific article

    Statements

    Definability theorems in normal extensions of the provability logic (English)
    0 references
    1989
    0 references
    The paper gives necessary and sufficient conditions for the provability in all consistent normal extensions of GL of three different versions of Beth's definability theorem (one of these is provable in all such systems). The method used is basically algebraic.
    0 references
    provability in all consistent normal extensions of GL
    0 references
    Beth's definability theorem
    0 references

    Identifiers