DocumentCode
3477977
Title
Towards fuzzy type theory
Author
Novàk, Vilém
fYear
2003
fDate
16-19 May 2003
Firstpage
65
Lastpage
70
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
ISSN
0195-623X
Print_ISBN
0-7695-1918-0
Type
conf
DOI
10.1109/ISMVL.2003.1201386
Filename
1201386
Link To Document