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. ...
Electronic structure of conducting organic polymers: insights from time-dependent density functional theory Salzner, U. (John Wiley & Sons Ltd., 2014)Conducting organic polymers (COPs) became an active field of research after it was discovered how thin films rather than insoluble infusible powders can be produced. The combination of the properties of plastics with those ...
Cuhadar, E.; Dayton, B. (Oxford University Press, 2011)This paper reviews the seminal theories of social psychology which have guided scholarship on inter-group conflicts and describes how these theories have been used by conflict resolution practitioners to design Track Two ...