OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : prezentace (kongresy, sympózia, konference, workshopy)
Domácí pracoviště * : Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název * : Quantification in Partial Fuzzy Logic
Citace : Daňková, M. Quantification in Partial Fuzzy Logic. In: The Third Israeli Workshop on Non-Classical Logics and Their Applications. Haifa: University of Haifa. 2017.
Podnázev :
Rok : 2017
Obor : Obecná matematika
Místo konání : Haifa
Stát konání akce :
Název akce : The Third Israeli Workshop on Non-Classical Logics and Their Applications
Datum od :
Datum do :
Druh prezentace : Přednáška
Instituce : University of Haifa
Klíčová slova anglicky :
Fuzzy Partial Logic, Unde?nedness, Quanti?er
Popis v původním jazyce :
We will recall three prominent families of quanti?ers in ?rstorder 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 fuzzy partial propositional logic, recall the basic notions, comment on axiomatization and present its ?rst-order variant. Then we will present a few initial results on the properties of quanti?ers from dierent 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:

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