A method of proving interpolation in paraconsistent extensions of the minimal logic
From MaRDI portal
Publication:3546097
DOI10.1007/s10469-007-0034-yzbMath1164.03312MaRDI QIDQ3546097
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
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