Applications of De Morgan toposes and the Gleason cover

• Main Author: Harun, Rona.
• Other Authors: Bunge, Marta (advisor)
• Format: Thesis
• Language: English
• Published: McGill University 1996
• Subjects: Mathematics; Psi; DML
• Online Access: http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=27336

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...