This site has been permanently archived. This is a static copy provided by the University of Southampton.
--- abstract: '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.' altloc: - http://www.cs.bilkent.edu.tr/~akman/jour-papers/ins/paper.ps chapter: ~ commentary: ~ commref: ~ confdates: ~ conference: ~ confloc: ~ contact_email: ~ creators_id: [] creators_name: - family: Pakkan given: Mujdat honourific: '' lineage: '' - family: Akman given: Varol honourific: '' lineage: '' date: 1995-07 date_type: published datestamp: 1998-06-19 department: ~ dir: disk0/00/00/04/66 edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 466 fileinfo: /style/images/fileicons/application_postscript.png;/466/2/paper.ps full_text_status: public importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: 'ZF (Zermelo-Fraenkel) set theory, nonwellfounded sets (hypersets), AFA (anti-foundation axiom), the Solution Lemma, situation theory, HYPERSOLVER, Conway paradox.' lastmod: 2011-03-11 08:53:58 latitude: ~ longitude: ~ metadata_visibility: show note: ~ number: 1 pagerange: 43-61 pubdom: FALSE publication: 'Information Sciences: An International Journal' publisher: ~ refereed: TRUE referencetext: ~ relation_type: [] relation_uri: [] reportno: ~ rev_number: 10 series: ~ source: ~ status_changed: 2007-09-12 16:28:27 subjects: - comp-sci-art-intel - ling-sem - phil-logic succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ thesistype: ~ title: 'HYPERSOLVER: A Graphical Tool for Commonsense Set Theory' type: journalp userid: 178 volume: 85