TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw

Surarso, Bayu

MATEMATIKA
Vol 11, No 1 (2008): JURNAL MATEMATIKA

In 1961 Maehara introduced a proof-theoretical method to prove the interpolation theorem for standard logics. By developing Maehara’s method, we can prove interpolation theorem for some non-standard logics, including the commutative predicate  logics  Fle dan Fle,w. In the present paper we show that by modifying Maehara’s method we can also prove the interpolation theorem for non-commutative predicate logics FL and FLw.