Please note that this newsitem has been archived, and may contain outdated information or links.
3 November 2006, Negation from the perspective of neighborhood semantics, Junwei Yu
(Tram 9 from Central Station, to Plantage Badlaan.).
Abstract.
We study many important properties of negations using neighborhood semantics, including antitony, De Morgan laws, classical double negation,
constructive double negation and so on. We generalize the correspondence
between such properties of negations and the conditions on the frames.
Finally we discuss the duality between the category of distributive modal
algebras with antitone negations and the category of descriptive generated
neighborhood frames.
For more information, contact Yde Venema (yde at science.uva.nl)
Please note that this newsitem has been archived, and may contain outdated information or links.