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 * : Analysis of generalized square of opposition
Citace : Murinová, P. Analysis of generalized square of opposition. In: World Congress on Universal Logic. Rio de Janeiro. 2013.
Podnázev :
Rok : 2013
Obor : Obecná matematika
Místo konání : Rio de Janeiro
Stát konání akce : Brazilská federativní republika
Název akce : World Congress on Universal Logic
Datum od :
Datum do :
Druh prezentace : Přednáška
Instituce :
Klíčová slova anglicky :
Fuzzy type theory; Aristotle's square of opposition; Generalized complete square of opposition;
Popis v původním jazyce :
We continue development of the formal theory of intermediate quantifiers. The latter are expressions of natural language such as ``most'', ``many'', ``few'', etc. In the previous paper, we demonstrated that a generalized complete square of opposition with intermediate quantifiers can be modeled in a special theory of higher-order fuzzy logic. In this paper we extended the square by new intermediate quantifier ``more than half''. Furthermore, we introduced general principle for introduction new intermediate quantifiers and proved that the generalized the square of opposition works with them accordingly. Because our results are proved syntactically, they hold in arbitrary model and so, our theory has great potential for various kinds of applications.
Popis v anglickém jazyce :
We continue development of the formal theory of intermediate quantifiers. The latter are expressions of natural language such as ``most'', ``many'', ``few'', etc. In the previous paper, we demonstrated that a generalized complete square of opposition with intermediate quantifiers can be modeled in a special theory of higher-order fuzzy logic. In this paper we extended the square by new intermediate quantifier ``more than half''. Furthermore, we introduced general principle for introduction new intermediate quantifiers and proved that the generalized the square of opposition works with them accordingly. Because our results are proved syntactically, they hold in arbitrary model and so, our theory has great potential for various kinds of applications.
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}