466
10
10606
2
42973
document
10606
paper.ps
application/postscript
372008
20091208 20:31:07
http://cogprints.org/466/2/paper.ps
466
2
2
application/postscript
application/postscript
public
paper.ps

http://eprints.org/relation/hasVolatileVersion
http://cogprints.org/id/document/4744

http://eprints.org/relation/haspreviewThumbnailVersion
http://cogprints.org/id/document/4744

http://eprints.org/relation/hasVersion
http://cogprints.org/id/document/4744
archive
178
disk0/00/00/04/66
19980619
20110311 08:53:58
20070912 16:28:27
journalp
show
0
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 nonwellfounded 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.
 http://www.cs.bilkent.edu.tr/~akman/jourpapers/ins/paper.ps

Pakkan
Mujdat

Akman
Varol
pub
ZF (ZermeloFraenkel) set theory, nonwellfounded sets (hypersets), AFA (antifoundation axiom), the Solution Lemma, situation theory, HYPERSOLVER, Conway paradox.
1
4361
FALSE
Information Sciences: An International Journal
TRUE
 compsciartintel
 lingsem
 phillogic
HYPERSOLVER: A Graphical Tool for Commonsense Set Theory
85
published
199507
public