L. L. Maksimova, “Decidability of the weak interpolation property over the minimal logic”, Algebra Logika, 2011, Volume 50, Number 2,Pages <nobr>152

This article is cited in 16 papers

Decidability of the weak interpolation property over the minimal logic

L. L. Maksimova^ab

^a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
^b Novosibirsk State University, Novosibirsk, Russia

Abstract: We give a description of extensions for Johansson's minimal logic $\mathrm J$ with the weak interpolation property. This property is proved to be decidable over $\mathrm J$.

Keywords: Johansson's minimal logic, extension of logic, weak interpolation property, decidability.

UDC: 510.64

Received: 10.03.2010