This site has been permanently archived. This is a static copy provided by the University of Southampton.

TY - GEN ID - cogprints466 UR - http://cogprints.org/466/ A1 - Pakkan, Mujdat A1 - Akman, Varol Y1 - 1995/07// N2 - This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning. KW - ZF (Zermelo-Fraenkel) set theory KW - nonwellfounded sets (hypersets) KW - AFA (anti-foundation axiom) KW - the Solution Lemma KW - situation theory KW - HYPERSOLVER KW - Conway paradox. TI - HYPERSOLVER: A Graphical Tool for Commonsense Set Theory SP - 43 AV - public EP - 61 ER -