The P-W problem
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]
|Collections||Open Access Theses|
|b12168385_Martin, Errol Peter.pdf||61.36 MB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.