TRIAWAN, TRIAWAN (2009) TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT DFLw DAN DFLe,w. Undergraduate thesis, Matematics and Natural Sciences.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 68Kb |
Abstract
ABSTRAK Pada Tugas Akhir ini, dipelajari mengenai pembuktian teorema interpolasi untuk logika predikat DFLw dan DFLe,w. Logika predikat DFLw dan DFLe,w adalah logika substruktural distributif yang diperoleh dari logika predikat FLw dan FLe,w dengan menambah hukum distributif. Untuk membuktikan bahwa teorema interpolasi berlaku untuk logika predikat DFLw dan DFLe,w, digunakan suatu metode bukti yang diperkenalkan oleh Maehara, metode ini disebut metode Maehara. Dengan menggunakan modifikasi dari metode Maehara, dibuktikan bahwa teorema interpolasi berlaku untuk logika predikat DFLw dan DFLe,w.
| Item Type: | Thesis (Undergraduate) |
|---|---|
| Subjects: | Q Science > QA Mathematics |
| Divisions: | Faculty of Science and Mathematics > Department of Mathematics |
| ID Code: | 5587 |
| Deposited By: | INVALID USER |
| Deposited On: | 26 Jan 2010 13:31 |
| Last Modified: | 26 Jan 2010 13:31 |
Repository Staff Only: item control page
