TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT LoRW+ DAN LoR+
| Main Author: | LUKITO, INDRIYO |
|---|---|
| Format: | Thesis NonPeerReviewed application/pdf |
| Terbitan: |
, 2009
|
| Subjects: | |
| Online Access: |
http://eprints.undip.ac.id/5580/1/INDRIYO_LUKITO.pdf http://eprints.undip.ac.id/5580/ |
Daftar Isi:
- 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+.