An Axiomatization of 'Very' within systiems of Set Theory

Studia Logica 73 (3):413-430 (2003)
  Copy   BIBTEX


A structural approach to fuzziness is given, based on the operator "very", which is added to the language of set theory together with some elementary axioms about it. Due to the axiom of foundation and to a lifting axiom, the operator is proved trivial on the cumulative hierarchy of ZF. So we have to drop either foundation or lifting. Since fuzziness concerns complemented predicates rather than sets, a class theory is needed for the very operator. And of them the Kelley-Morse theory is more appropriate for reasons of class existence. Several definable realizations of the very-operator are presented in KM⁻. In the last section we consider the operator "very" without the lifting axiom on classes of urelements. To each structurally fuzzy set X a traditional quantitative fuzzy set X̄ is assigned -- its quantitative representation. This way we are able partly to recover ordinary fuzzy sets from the structurally fuzzy ones.



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Cardinality without Enumeration.Athanassios Tzouvaras - 2005 - Studia Logica 80 (1):121-141.
Book Reviews. [REVIEW]B. Jacobs - 2001 - Studia Logica 69 (3):429-455.
Book Reviews. [REVIEW]F. R. Drake & D. Singh - 1999 - Studia Logica 63 (3):417-448.


Added to PP

9 (#1,257,418)

6 months
2 (#1,204,205)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Athanassios Tzouvaras
Aristotle University of Thessaloniki (PhD)

Citations of this work

How effective indeed is present-day mathematics?Athanassios Tzouvaras - 2006 - Logic and Logical Philosophy 15 (2):131-153.

Add more citations

References found in this work

No references found.

Add more references