OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   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 * : On general properties of intermediate quantifiers
Citace : Novák, V. a Murinová, P. On general properties of intermediate quantifiers. In: IPMU 2014, Part II, Communications in Computer and Information Science 443. Springer, 2014. s. 355-364. ISBN 978-3-319-08854-9.
Podnázev :
Rok * : 2014
Obor * : Obecná matematika
Počet stran * : 9
Strana od * : 355
Strana do * : 364
Forma vydání * : Tištená verze
Kód ISBN * : 978-3-319-08854-9
Kód ISSN : 1865-0929
Název sborníku * : IPMU 2014, Part II, Communications in Computer and Information Science 443
Sborník : Mezinárodní
Název nakladatele * : Springer
Místo vydání * : Neuveden
Stát vydání : Sborník vydaný v zahraničí
Název konference : 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
Místo konání konference * : Francie
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; generalized quantifiers;
Popis v původním jazyce * :
In this paper, we will first discuss fuzzy generalized quantifiers and their formalization in the higher-order fuzzy logic (the fuzzy type theory). Then we will briefly introduce a special model of intermediate quantifiers, classify them as generalized fuzzy ones and prove that they have the general properties of isomorphism invariance, extensionality and conservativity. These properties are characteristic for the quantifiers of natural language.
Popis v anglickém jazyce * :
In this paper, we will first discuss fuzzy generalized quantifiers and their formalization in the higher-order fuzzy logic (the fuzzy type theory). Then we will briefly introduce a special model of intermediate quantifiers, classify them as generalized fuzzy ones and prove that they have the general properties of isomorphism invariance, extensionality and conservativity. These properties are characteristic for the quantifiers of natural language.
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:A1501BYE

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}