scientific article; zbMATH DE number 1163927
From MaRDI portal
Publication:4395551
zbMATH Open0899.03016MaRDI QIDQ4395551
Publication date: 11 June 1998
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
Countermodel construction via optimal hypersequent calculi for non-normal modal logics ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Effective semantics for the modal logics K and KT via non-deterministic matrices
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 Q4395551)
