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  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>