OU Portal
Log In
Welcome
Applicants
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.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
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
*
:
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
*
:
Typ zdroje financování výsledku
*
:
Projekty CEP/Záměry CEZ
Seznam projektů :
ID Projektu
Název projektu
Seznam ohlasů :
Ohlas
R01:
RIV/61988987:17610/14:A1501BYB
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules