TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT LoRW+ DAN LoR+

LUKITO, INDRIYO (2009) TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT LoRW+ DAN LoR+. Undergraduate thesis, Matematics and Natural Sciences.

[img]
Preview
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:Mr. Matematika Admin
Deposited On:26 Jan 2010 13:10
Last Modified:26 Jan 2010 13:10

Repository Staff Only: item control page