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.
{}
Close
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Record type:
stať ve sborníku (D)
Home Department:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:
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.
Subtitle
Publication year:
2003
Obor:
Obecná matematika
Number of pages:
6
Page from:
65
Page to:
70
Form of publication:
ISBN code:
0-7695-1918-0
ISSN code:
Proceedings title:
Proc. Int. Seminar on Multiple-Valued Logic ISMVL 2003
Proceedings:
Mezinárodní
Publisher name:
IEEE Computer Society
Place of publishing:
Tokyo
Country of Publication:
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ů:
Celosvětová akce
WoS code:
EID:
Key words in English:
fuzzy logic; fuzzy type theory; completeness
Annotation in original language:
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.
Annotation in english language:
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.
References
Reference
R01:
RIV/61988987:17610/03:00000021
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules
Probíhá načítání, čekejte prosím...