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 * : Quantification over Undefined Truth Values
Citace : Daňková, M. Quantification over Undefined Truth Values. In: IPMU 2018: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications, volume 855 2018-06-10 Cadiz. Cham: Springer International Publishing, 2018. s. 199-208. ISBN 978-331991478-7.
Podnázev :
Rok * : 2018
Obor * : Obecná matematika
Počet stran * : 10
Strana od * : 199
Strana do * : 208
Forma vydání * : Tištená verze
Kód ISBN * : 978-331991478-7
Kód ISSN : 1865-0929
Název sborníku * : Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications, volume 855
Sborník : Mezinárodní
Název nakladatele * : Springer International Publishing
Místo vydání * : Cham
Stát vydání : Sborník vydaný v zahraničí
Název konference : IPMU 2018
Místo konání konference * : Cadiz
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Celosvětová akce
Kód UT WoS :
EID : 2-s2.0-85048057519
Klíčová slova anglicky * :
Partial Fuzzy Logic, Undefinedness, Generalized quantifier
Popis v původním jazyce * :
We will recall three prominent families of quantifiers in first-order partial fuzzy logic and study their properties. The background fuzzy logic is the monoidal t-norm based logic MTL. First we will overview the semantics of partial fuzzy propositional logic, recall the basic notions, comment on axiomatization and present its first-order variant. Then we will present results on the properties of quantifiers from different families.
Popis v anglickém jazyce * :
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/18:A1901SUF

© 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}