Modal translations in substructural logics (Q1198409)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modal translations in substructural logics |
scientific article; zbMATH DE number 92835
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal translations in substructural logics |
scientific article; zbMATH DE number 92835 |
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
0.99388605
0 references
0.9308055
0 references
0.9272659
0 references
0.91488755
0 references
0.9139133
0 references
0.9126878
0 references
0.9119057
0 references
0.9081961
0 references
