Skip navigation
Skip navigation

Proof-functional semantics for relevant implication

Lavers, Peter


In this thesis I provide a theory of implication from within the Gentzen/Curry formalist constructivist tradition. Formal consecution and natural deduction systems, which satisfy the formalist and also the intuitionist desiderata for constructivity (including Lorenzen's principle of inversion), are provided for all implication logics. The similar-but simplified- binary relational ("Kripke-style") semantics are also given. The driving force behind this research has been the desire to provide an...[Show more]

CollectionsOpen Access Theses
Date published: 2013-09-19
Type: Thesis (PhD)


File Description SizeFormat Image
01Front_Lavers.pdfFront Matter159.88 kBAdobe PDFThumbnail
02Whole_Lavers.pdfWhole Thesis2.49 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