PRINSIP MAKSIMOVA UNTUK LOGIKA FLw,gc
| Main Author: | SURARSO, BAYU |
|---|---|
| Format: | Article PeerReviewed application/pdf |
| Terbitan: |
BADAN PENERBIT UNIVERSITAS DIPONEGORO SEMARANG
, 2006
|
| Subjects: | |
| Online Access: |
http://eprints.undip.ac.id/1967/1/Bayu_Surarso.pdf http://eprints.undip.ac.id/1967/ |
Daftar Isi:
- 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”.