KOMARIA, DESYE (2009) PRINSIP MAKSIMOVA PADA LOGIKA RELEVAN R+ DAN RW+. Undergraduate thesis, Matematics and Natural Sciences.
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|
|Deposited By:||Admin Departemen Matematika|
|Deposited On:||26 Jan 2010 11:33|
|Last Modified:||26 Jan 2010 11:34|
Repository Staff Only: item control page