WIP-minimal logics and interpolation
From MaRDI portal
Publication:2630547
DOI10.17377/SEMI.2015.12.002zbMath1345.03040MaRDI QIDQ2630547
Veta Fedorovna Yun, Larisa L. Maksimova
Publication date: 28 July 2016
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Related Items (4)
Extensions of the minimal logic and the interpolation problem ⋮ Recognizability of all WIP-minimal logics ⋮ Perceptibility in pre-Heyting logics ⋮ Constructive classifications of modal logics and extensions of minimal logic
This page was built for publication: WIP-minimal logics and interpolation