scientific article; zbMATH DE number 759439
From MaRDI portal
Publication:4834481
zbMATH Open0819.03013MaRDI QIDQ4834481
Publication date: 30 May 1995
Title of this publication is not available (Why is that?)
interpolationprinciple of variable separationamalgamationnormal modal logicsmodal algebrassuperintuitionistic logicspseudo-relevance propertyjoint embedding propertyHallden- completenesssuper-embedding property
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Intermediate logics (03B55)
Related Items (2)
A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ Variables as resource in separation 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 Q4834481)
