BibTex Citation Data :
@article{JM392, author = {Bayu Surarso}, title = {TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw}, journal = {MATEMATIKA}, volume = {11}, number = {1}, year = {2010}, keywords = {}, abstract = { 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 Fl e dan Fl e,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 FL w . }, url = {https://ejournal.undip.ac.id/index.php/matematika/article/view/392} }
Refworks Citation Data :
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.
Last update:
Last update: 2024-04-20 19:43:06