http://www.cs.indiana.edu/research/dunn/neg.html Negation

Negation

Description:
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

Return to Computer Science Research Page