PRINSIP MAKSIMOVA PADA LOGIKA RELEVAN R+ DAN RW+

Abstract

ABSTRACT In this paper, we study the proof of Maksimova’s principle for relevance logics R+ dan RW+, in that logics the distributive law is assumed as an axiom. R+ logic can be represented in a Gentzen-type sequent system which is called LoR+, that system contain extensional weakening structural rules (E-weak) and intensional contraction structural rules (I-con). Whereas logic RW+ can be represented in a Gentzen-type sequent system which is called LoRW+, is system only contain extensional weakening structural rules (E-weak). Maksimova’s principle for R+ and RW+ can be verified to proving that Maksimova’s principle hold for LoR+ dan LoRW+ systems by using variable sharing property and making several lemmas.