PRINSIP MAKSIMOVA UNTUK LOGIKA FLw,gc

SURARSO, BAYU (2006) PRINSIP MAKSIMOVA UNTUK LOGIKA FLw,gc. PROSIDING SEMINAR NASIONAL SPMIPA . pp. 22-24. ISSN 979.704.427.0

[img]
Preview
PDF
166Kb

Abstract

Pada umumnya tulisan tentang Prinsip Maksimova menggunakan pendekatan semantik dalam pembahasannya. Pada [2], penulis memperkenalkan suatu pendekatan sintaktik untuk membuktikan Prinsip Maksimova pada beberapa logika substructural. Pada [4] metode tersebut dimodifikasi untuk membuktikan PM pada logika-logika tanpa aturan “weakening” FLg(n 1) dan FL(n 1), dengan n>1. Pada tulisan ini, dengan ide yang sama, tetapi dengan beberapa modifikasi di metodenya, dibuktikan bahwa Prinsip Maksimova berlaku pada logika FLw,gc yang memuat aturan “weakening”.

Item Type:Article
Subjects:Q Science > QA Mathematics
Divisions:Faculty of Science and Mathematics > Department of Mathematics
ID Code:1967
Deposited By:Mr. Matematika Admin
Deposited On:01 Dec 2009 09:41
Last Modified:08 Dec 2009 11:01

Repository Staff Only: item control page