Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Record type:	kapitola v odborné knize (C)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	From Classical to Fuzzy Type Theory
Citace	Novák, V. From Classical to Fuzzy Type Theory. In: The Life and Work of Leon Henkin. Basel: Birkhauser, 2014. s. 225-248. ISBN 978-3-319-09719-0.

Subtitle
Publication year:	2014
Obor:	Obecná matematika
Form of publication:	Tištená verze
ISBN code:	978-3-319-09719-0
Book title in original language:	The Life and Work of Leon Henkin
Title of the edition and volume number:	Neuveden
Place of publishing:	Basel
Publisher name:	Birkhauser
Issue reference (issue number):	:
Published:	v zahraničí
Author of the source document:
Number of pages:	24
Book page count:	351
Page from:	225
Page to:	248
Book print run:	400
EID:

Key words in English:	Fuzzy type theory; EQ-algebra; residuated lattice; IMTL-algebra; MV-algebra; higher-order fuzzy logic; mathematical fuzzy logic; Delta-operation
Annotation in original language:	This paper addresses several complete formal systems of the fuzzy type theory. The systems differ from each other by a chosen algebra of truth values. Namely, we focus on three systems: the Core FTT based on a special algebra of truth values for fuzzy type theory --- the EQ-algebra, then IMTL-FTT based on \imtD-algebra of truth values and finally the \LFTT\ based on MV$_{\Delta}$-algebra of truth values.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17610/14:A1501BYB

Complementary Content

${loading}