Title :
Towards fuzzy type theory
Abstract :
In the paper, the formal type theory is generalized to fuzzy one. The structure of truth values is assumed to be the IMTL-algebra (on [0, 1], the algebra of left continuous t-norms with involutive negation) since the formulation of FTT based on it preserves the elegancy of classical formulation. Some properties of theories of fuzzy type theory are demonstrated and the completeness saying that each consistent theory has a model is proved. We will follow the way of the development of the classical type theory as elaborated especially by A. Church and L. Henkin.
Keywords :
fuzzy logic; set theory; type theory; IMTL-algebra; classical formulation; consistent theory; formal type theory; fuzzy type theory; left continuous t-norm; truth value structure; Algebra; Automation; Concrete; Fuzzy systems; Lattices; Logic;
Conference_Titel :
Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
Print_ISBN :
0-7695-1918-0
DOI :
10.1109/ISMVL.2003.1201386
