PRINSIP MAKSIMOVA PADA LOGIKA RELEVAN R+ DAN RW+

KOMARIA, DESYE (2009) PRINSIP MAKSIMOVA PADA LOGIKA RELEVAN R+ DAN RW+. Undergraduate thesis, Matematics and Natural Sciences.

[img]
Preview
PDF
113Kb

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.

Item Type:Thesis (Undergraduate)
Subjects:Q Science > QA Mathematics
Divisions:Faculty of Science and Mathematics > Department of Mathematics
ID Code:5548
Deposited By:Mr. Matematika Admin
Deposited On:26 Jan 2010 11:33
Last Modified:26 Jan 2010 11:34

Repository Staff Only: item control page