Modal translations in substructural logics (Q1198409)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal translations in substructural logics |
scientific article |
Statements
Modal translations in substructural logics (English)
0 references
16 January 1993
0 references
The Gödel-Tarski translation of the intuitionistic predicate logic into S4 by prefixing \(\square\) to all subformulas is sound and faithful. The author proves a similar result for translations of the intuitionistic versions of linear logic, relevance logic and BCK-logic into their classical S4-analogs. The proof uses analysis of cut-free Gentzen-type derivations.
0 references
translations of intuitionistic logics into modal logics
0 references
linear logic
0 references
relevance logic
0 references
BCK-logic
0 references
analysis of cut-free Gentzen-type derivations
0 references
0 references
