Gentzen systems and decision procedures for relevant logics
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]
|Collections||Open Access Theses|
|01Front_Giambrone.pdf||Front Matter||154.9 kB||Adobe PDF|
|02Whole_Giambrone.pdf||Whole Thesis||2.32 MB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.