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: 1983
Type: Thesis (PhD)
DOI: 10.25911/5d78d582d92e7


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:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator