WIP-minimal logics and interpolation

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)

zbMATH Keywords

interpolationminimal logicWIP-minimal logic

Mathematics Subject Classification ID

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