Proof-functional semantics for relevant implication
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]
|Collections||Open Access Theses|
|01Front_Lavers.pdf||Front Matter||159.88 kB||Adobe PDF|
|02Whole_Lavers.pdf||Whole Thesis||2.49 MB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.