top

Bibliography

Conference Paper (international conference)

Towards fuzzy type theory

Novák Vilém

: Proceedings of the 33rd International Symposium on Multiple-Valued Logic, p. 65-70

: IEEE Computer Society, (Los Alamitos 2003)

: International Symposium on Multiple-Valued Logic /33./, (Tokyo, JP, 16.05.2003-19.05.2003)

: CEZ:AV0Z1075907

: fuzzy logic, type theory

(eng): The formal type theory is generalized to fuzzy one. The structure of truth values is assumed to be the IMTL-algebra. 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 are demonstrated and the completeness saying that each consistent theory has a model is proved.

: 12A

: BA