Date: Wed, 20 Nov 1996 19:15:13 GMT Server: Apache/1.0.3 Content-type: text/html Content-length: 1161 Last-modified: Thu, 25 Apr 1996 14:57:22 GMT
This is a study of various treatements of negation in non-classical logics. It grows out of my work on "gaggle theory" wherein negation, being a unary operator, is given a semantics using a binary "perp" relation. This has precedents in the model-theoretic definitions of negation in quantum logic and in linear logic, but is unusual in its application to intuitionistic logic and relevance logic. This leads to a study of when various semantical treatements of negation are equivalent.
Associated Faculty: Michael Dunn
Associated Graduate Students: Steve Crowley (Philosophy)
Affiliated Projects: Chrysafis Hartonas (University of Ioannina, Greece), Greg Restall (Automated Reasoning Project, Australian National University)
Support: College of Arts and Sciences