A method of proving interpolation in paraconsistent extensions of the minimal logic

DOI10.1007/s10469-007-0034-yzbMath1164.03312MaRDI QIDQ3546097

Larisa L. Maksimova

Publication date: 18 December 2008

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-007-0034-y

zbMATH Keywords

interpolation property; Johansson's minimal logic; paraconsistent extension

Mathematics Subject Classification ID

03C40: Interpolation, preservation, definability

03B53: Paraconsistent logics

Related Items

Craig's interpolation property in pretabular logics, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Interpolation over the minimal logic and Odintsov intervals, The structure of slices over minimal logic, The tabularity problem over the minimal logic, Interpolation and definability over the logic Gl, Decidability of the weak interpolation property over the minimal logic, Recognizable logics, Extensions of the minimal logic and the interpolation problem, Recognizability of all WIP-minimal logics, Strong computability of slices over the logic GL, Slices and levels of extensions of the minimal logic, Perceptibility in pre-Heyting logics, Layers over minimal logic, LC and Its Pretabular Relatives