LUKITO, INDRIYO (2009) TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT LoRW+ DAN LoR+. Undergraduate thesis, Matematics and Natural Sciences.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 1178Kb |
Abstract
Pada Tugas Akhir ini, dipelajari mengenai pembuktian teorema interpolasi untuk logika predikat LoRW+ dan LoR+. Logika predikat LoRW+ adalah logika proposisional LoRW+ yang dilengkapi dengan aturan quantifiers. Sedangkan logika predikat LoR+ adalah logika predikat LoRW+ dengan menambahkan aturan struktural contraction. Dengan menggunakan modifikasi metode maehara dan dengan menggunakan suatu teorema yang bentuknya lebih umum dari interpolasi, dibuktikan bahwa teorema interpolasi berlaku untuk logika predikat LoRW+ dan LoR+.
| Item Type: | Thesis (Undergraduate) |
|---|---|
| Subjects: | Q Science > QA Mathematics |
| Divisions: | Faculty of Science and Mathematics > Department of Mathematics |
| ID Code: | 5580 |
| Deposited By: | INVALID USER |
| Deposited On: | 26 Jan 2010 13:10 |
| Last Modified: | 26 Jan 2010 13:10 |
Repository Staff Only: item control page
