Hypersolver: a graphical tool for commonsense set theory
43 - 61
Item Usage Stats
MetadataShow full item record
This paper investigates an alternative set theory (due to Aczel) called the 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. © 1995.
Commonsense set theory
Published Version (Please cite this version)http://dx.doi.org/10.1016/0020-0255(94)00114-Q
Showing items related by title, author, creator and subject.
Gökoǧlu G.; Erkişi, A. (2008)In this study, first principles calculation results of the second order elastic constants and lattice dynamics of two lanthanum monopnictides, LaN and LaBi, which crystallize in rock-salt structure (B1 phase), are presented. ...
Korkmaz G.E. (2002)In this study Pertev Naili Boratav's book Zaman Zaman İçinde, which consists of the fairytales and the tongue twisters that he collected, is examined in terms of its theoretical basis, the method it follows, and its sources. ...
Cost-efficient approximation of linear systems with repeated and multi-channel filtering configurations Kutay, Mehmet Alper; Erden, M. F.; Özaktaş, Haldun M.; Arıkan, Orhan; Candan, Ç.; Güleryüz, Ö. (IEEE, 1998-05)It is possible to obtain either exact realizations or useful approximations of linear systems or matrix-vector products arising in many different applications, by synthesizing them in the form of repeated or multi-channel ...