Sets as singularities in the intensional
β
Keith Daynes
π
Article
π
1989
π
Springer Netherlands
π
English
β 754 KB
This paper is motivated by the search for a natural and deductively powerful extension of classical set theory. A theory of properties U is developed, based on a system of relevant logic related to RQ. In U the set {a, b, c,...} is identified with the property Ix: x = a v x = b v x = c ...]. The uni