Switch to: References

Add citations

You must login to add citations.
  1. HYPERSOLVER: a graphical tool for commonsense set theory.Mujdat Pakkan & Varol Akman - 1995 - Information Sciences 85 (1-3):43-61.
    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  
     
    Export citation  
     
    Bookmark   2 citations  
  • John Barwise & Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena[REVIEW]Varol Akman - 1997 - Journal of Logic, Language and Information 6 (4):460-464.
    This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, written by Jon Barwise and Lawrence Moss and published by CSLI Publications in 1996.
    Download  
     
    Export citation  
     
    Bookmark