Applications of De Morgan toposes and the Gleason cover
In intuitionistic propositional logic, one of the so-called De Morgan's laws is not valid. This thesis studies the non intuitionistically valid one, namely, $ neg( phi wedge psi)= neg phi vee neg psi$, (denoted by (DML)), with examples and applications in topology, algebra, analysis, logic and...
Main Author: | |
---|---|
Other Authors: | |
Format: | Thesis |
Language: | English |
Published: |
McGill University
1996
|
Subjects: | |
Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=27336 |