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:
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.
Podnázev
Rok vydání:
2015
Obor:
Obecná matematika
Počet stran:
6
Strana od:
1
Strana do:
6
Forma vydání:
Tištená verze
Kód ISBN:
978-1-4673-7428-6
Kód ISSN:
1544-5615
Název sborníku:
FUZZ-IEEE 2015
Sborník:
Mezinárodní
Název nakladatele:
IEEE
Místo vydání:
Neuveden
Stát vydání:
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ů akce:
Celosvětová akce
Kód UT WoS:
EID:
Klíčová slova anglicky:
Fuzzy type theory; Intermediate generalized syllogisms; Non-trivial generalized syllogisms
Popis v původním jazyce:
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.
Popis v anglickém jazyce:
Seznam ohlasů
Ohlas
R01:
RIV/61988987:17610/15:A1601DCH
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules