scientific article; zbMATH DE number 970624

zbMATH Open0860.03017MaRDI QIDQ5688803

Harold Schellinx

Publication date: 21 April 1997

Title of this publication is not available (Why is that?)

zbMATH Keywords

cut eliminationlinear logicmodal logic S4embeddings of S4 into classical linear logiclinear decorations of S4-derivationsproof-theoretical analysis of sequent derivationsstrongly normalizing reduction strategies

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (2)

A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 ⋮ Linear modalities in mininal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5688803)