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
