Hypersolver: a graphical tool for commonsense set theory
43 - 61
Item Usage Stats
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.
Lattice dynamics and elastic properties of lanthanum monopnictides 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. ...
(Co-)Constructing a theory of mind: from language or through language? Ilgaz, Hande; Allen, Jedediah W. P. (Springer, 2020)There is a large body of empirical work that has investigated the relationship between parents’ child-directed speech and their children’s Theory of Mind development. That such a relationship should exist is well motivated ...
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 ...