TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw


How to cite (IEEE): B. Surarso, "TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw," MATEMATIKA, vol. 11, no. 1, Oct. 2010. [Online]. Retrieved from :
Citation Format:
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  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.

Fulltext View|Download
Article Info
Section: REASERCH ARTICLES
Language : EN
Recent articles
PEMODELAN MATEMATIKA UNTUK JAM AIR JENIS POLYVASCULAR CLEPSYDRA DENGAN KASUS VISCOSITY DOMINATED ANALISIS MODEL DINAMIK PERTUMBUHAN BIOMASSA RUMPUT LAUT GRACILLARIA VERRUCOSA TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw More recent articles
Most cited articles
PEMODELAN STATISTIKA DENGAN TRANSFORMASI BOX COX PERBANDINGAN ESTIMATOR REGRESI NONPARAMETRIK MENGGUNAKAN METODE FOURIER DAN METODE WAVELET MODEL PERTUMBUHAN BIOMASSA RUMPUT LAUT GRACILLARIA DENGAN CARRYING CAPACITY BERGANTUNG WAKTU K-ALJABAR MODEL DINAMIK PERTUMBUHAN BIOMASSA UDANG WINDU DENGAN FAKTOR MORTALITAS BERGANTUNG WAKTU More cited articles

Last update:

No citation recorded.

Last update: 2025-04-05 22:36:26

No citation recorded.