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...

Typ záznamu:	kapitola v odborné knize (C)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	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.

Podnázev
Rok vydání:	2014
Obor:	Obecná matematika
Forma vydání:	Tištená verze
Kód ISBN:	978-3-319-09719-0
Název knihy v originálním jazyce:	The Life and Work of Leon Henkin
Název edice a číslo svazku:	Neuveden
Místo vydání:	Basel
Název nakladatele:	Birkhauser
Označení vydání (číslo vydání):	:
Vydáno:	v zahraničí
Autor zdrojového dokumentu:
Počet stran:	24
Počet stran knihy:	351
Strana od:	225
Strana do:	248
Počet výtisků knihy:	400
EID:

Klíčová slova anglicky:	Fuzzy type theory; EQ-algebra; residuated lattice; IMTL-algebra; MV-algebra; higher-order fuzzy logic; mathematical fuzzy logic; Delta-operation
Popis v původním jazyce:	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.
Popis v anglickém jazyce:

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17610/14:A1501BYB

Complementary Content

${loading}