PRINSIP MAKSIMOVA UNTUK LOGIKA FLw,gc

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”.