×

zbMATH — the first resource for mathematics

Modalities in substructural logics. (English) Zbl 0840.03011
The paper considers the problem of extending substructural logics by the S4- and S5-necessity operators satisfying some structural rules. It is shown that (non-modal) logics with structural rules can be embedded by a variant of the Gödel translation into modal logics without those structural rules.

MSC:
03B45 Modal logic (including the logic of norms)
PDF BibTeX XML Cite