Systems of Logic

This Is An Advanced Study Of Systems Of Propositional Logic Which Offers A Comprehensive Account Of A Wide Variety Of Logical Systems And Which Encourages Students To Take A Critical Stance Towards The Subject. A Great Variety Of Systems And Subsystems Are Defined And Compared As Regards Their Deductive Power And Relation To Their Model Theory. Interesting Features Include A More Refined Treatment Of Modal Logic And The Special Attention Given To The Weakenings Of Classical Logic. Useful Appendices Provide A Topical Bibliography And Review Of Basic Set Theory.