1990 | OriginalPaper | Buchkapitel
Provability Logics for Relative Interpretability
verfasst von : Dick de Jongh, Frank Veltman
Erschienen in: Mathematical Logic
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper the system IL for relative interpretability described in Visser (1988) is studied.1 In IL formulae A ⊳ B (read: A interprets B) are added to the provability logic L. The intended interpretation of a formula A ⊳ B in an (arithmetical) theory T is: T + B is relatively interpretable in T + A. The system has been shown to be sound with respect to such arithmetical interpretations (Švejdar 1983, Montagna 1984, Visser 1986, 1988P).