TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT DFLw DAN DFLe,w

TRIAWAN, TRIAWAN (2009) TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT DFLw DAN DFLe,w. Undergraduate thesis, Matematics and Natural Sciences.

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

Repository Staff Only: item control page