Skip navigation
Skip navigation

Gentzen systems and decision procedures for relevant logics

Giambrone, Steve


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)


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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator