Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleDecidability of the weak interpolation property over the minimal logic.AuthorsMaksimova, L. L.AbstractWe give a description of extensions for Johansson's minimal logic J with the weak interpolation property. This property is proved to be decidable over J.SubjectsINTERPOLATION; LOGIC; DECIDABILITY (Mathematical logic); NUMERICAL analysis; MATHEMATICSPublicationAlgebra & Logic, 2011, Vol 50, Issue 2, p106ISSN0002-5232Publication typeArticleDOI10.1007/s10469-011-9127-8