Hypersolver: A graphical tool for commonsense set theory


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.

Download options


    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.


Added to PP

21 (#540,244)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Varol Akman
Bilkent University

References found in this work

No references found.

Add more references

Citations of this work

A Sharper Image: The Quest of Science and Recursive Production of Objective Realities.Julio Michael Stern - 2020 - Principia: An International Journal of Epistemology 24 (2):255-297.

Add more citations