scientific article
From MaRDI portal
Publication:3435246
zbMATH Open1117.03062MaRDI QIDQ3435246
Publication date: 25 April 2007
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) Interpolation, preservation, definability (03C40)
Related Items (2)
Two extensions of the structurally free logic LC ⋮ Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
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 Q3435246)
