SOME REMARKS ON MAEHARA'S METHOD
Takahiro Seki · 2001
In proving the interpolation theorem in terms of sequent calculus, Maehara’s method is usually used. This paper shows that the interpolation theorem for substructural logics obtained by deleting constants from FL, FLe, FLec, CFLe and CFLec can be proved by putting some restriction on partitions in Maehara’s method.