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. ...
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 ...
Özdemir, A. K.; Arıkan, O. (IEEE, Piscataway, NJ, United States, 1999)Recent work on fractionally spaced blind equalizers have shown that it is possible to exactly identify the channel and its input sequence from the noise-free channel outputs. However, the obtained results are based on a ...