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:
Semantical interpretation of non-trivial syllogisms in higher order fuzzy logic
Citace
Murinová, P. a Novák, V. Semantical interpretation of non-trivial syllogisms in higher order fuzzy logic.
In:
The 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2015): FUZZ-IEEE 2015 2015-08-02 Istanbul-Turecko.
IEEE, 2015. s. 1-6. ISBN 978-1-4673-7428-6.
Subtitle
Publication year:
2015
Obor:
Obecná matematika
Number of pages:
6
Page from:
1
Page to:
6
Form of publication:
Tištená verze
ISBN code:
978-1-4673-7428-6
ISSN code:
1544-5615
Proceedings title:
FUZZ-IEEE 2015
Proceedings:
Mezinárodní
Publisher name:
IEEE
Place of publishing:
Neuveden
Country of Publication:
Sborník vydaný v zahraničí
Název konference:
The 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2015)
Místo konání konference:
Istanbul-Turecko
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 type theory; Intermediate generalized syllogisms; Non-trivial generalized syllogisms
Annotation in original language:
This approach is the continuation of a studding of a special kinds of generalized intermediate quantifiers in higher order fuzzy logic. In the previous paper we syntactically proved the twelve non-trivial syllogisms of Figure-III. The main idea of this contribution is to syntactically prove new non-trivial positive intermediate syllogisms of Figure-I.
Annotation in english language:
References
Reference
R01:
RIV/61988987:17610/15:A1601DCH
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules