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 * : Structure of generalized intermediate syllogisms-extension
Citace : Murinová, P. Structure of generalized intermediate syllogisms-extension. In: Logic, Algebra and Truth Degrees. Kanazawa. 2012.
Podnázev :
Rok : 2012
Obor : Obecná matematika
Místo konání : Kanazawa
Stát konání akce : Japonsko
Název akce : Logic, Algebra and Truth Degrees
Datum od :
Datum do :
Druh prezentace : Přednáška
Instituce :
Klíčová slova anglicky :
Fuzzy type theory; Classical syllogism; Generalized intermediate syllogisms;
Popis v původním jazyce :
In this paper, we discuss a formal theory of intermediate quantifiers. They are special linguistic expressions such as ``most, many, few, almost all'', etc. This class of quantifiers was studied by Peterson in his book. However, Peterson did not introduce any special formal logical system for them. Moreover, despite typically vague character of intermediate quantifiers, the proposed semantics is basically classical. Using means of the Lukasiewicz fuzzy type theory, we developed their semantics and demonstrated that many relations studied informally in the literature are also valid in our theory.
Popis v anglickém jazyce :
In this paper, we discuss a formal theory of intermediate quantifiers. They are special linguistic expressions such as ``most, many, few, almost all'', etc. This class of quantifiers was studied by Peterson in his book. However, Peterson did not introduce any special formal logical system for them. Moreover, despite typically vague character of intermediate quantifiers, the proposed semantics is basically classical. Using means of the Lukasiewicz fuzzy type theory, we developed their semantics and demonstrated that many relations studied informally in the literature are also valid in our theory.
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}