Skip navigation
Skip navigation

The P-W problem

Martin, Errol Peter

Description

This thesis investigates the properties of two systems of pure implication, with axioms a~d rules corresponding to the principles of transitivity of implication in the one system, and these axioms and rules plus the law of identity in the other. The main part of the text is devoted to a semantic analysis of these two systems. A class of models, called S-models, is defined and studied. The original construction of these S-models is due to R.K. Meyer. They derive t heir strength and...[Show more]

CollectionsOpen Access Theses
Date published: 1978
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/136657
DOI: 10.25911/5d70ee7d4baf3

Download

File Description SizeFormat Image
b12168385_Martin, Errol Peter.pdf61.36 MBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator