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 -