Skip navigation
Skip navigation

Gentzen systems and decision procedures for relevant logics

Giambrone, Steve

Description

This dissertation is primarily a proof theoretic investigation of the positive fragments and boolean extensions of two of the principal relevant logics T and R, with and without contraction, and of the corresponding positive semilattice relevant logics. In addition to motivational and syntactic preliminaries, Chapter 1 contains some new semantic results which are useful in the later chapters. In Chapter 2 we develop subscripted Gentzen systems for four positive semilattice logics....[Show more]

CollectionsOpen Access Theses
Date published: 2013-09-10
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/10421

Download

File Description SizeFormat Image
01Front_Giambrone.pdfFront Matter154.9 kBAdobe PDFThumbnail
02Whole_Giambrone.pdfWhole Thesis2.32 MBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator