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:
stať ve sborníku (D)
Domácí pracoviště:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:
Towards Fuzzy Type Theory
Citace
Novák, V. Towards Fuzzy Type Theory.
In:
Int. Seminar on Multiple-Valued Logic ISMVL 2003: Proc. Int. Seminar on Multiple-Valued Logic ISMVL 2003 2003-05-16 Tokyo.
Tokyo: IEEE Computer Society, 2003. IEEE Computer Society, 2003. s. 65-70. ISBN 0-7695-1918-0.
Podnázev
Rok vydání:
2003
Obor:
Obecná matematika
Počet stran:
6
Strana od:
65
Strana do:
70
Forma vydání:
Kód ISBN:
0-7695-1918-0
Kód ISSN:
Název sborníku:
Proc. Int. Seminar on Multiple-Valued Logic ISMVL 2003
Sborník:
Mezinárodní
Název nakladatele:
IEEE Computer Society
Místo vydání:
Tokyo
Stát vydání:
Sborník vydaný v zahraničí
Název konference:
Int. Seminar on Multiple-Valued Logic ISMVL 2003
Místo konání konference:
Tokyo
Datum zahájení konference:
Typ akce podle státní
příslušnosti účastníků akce:
Celosvětová akce
Kód UT WoS:
EID:
Klíčová slova anglicky:
fuzzy logic; fuzzy type theory; completeness
Popis v původním jazyce:
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.
Popis v anglickém jazyce:
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.
Seznam ohlasů
Ohlas
R01:
RIV/61988987:17610/03:00000021
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules
Probíhá načítání, čekejte prosím...