Skip navigation
Skip navigation

The P-W problem

Martin, Errol Peter


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)
DOI: 10.25911/5d70ee7d4baf3


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