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-III
Citace : Murinová, P. a Novák, V. Analysis of generalized square of opposition-III. In: World congresso of square of opposition. Řím. 2014.
Podnázev :
Rok : 2014
Obor : Obecná matematika
Místo konání : Řím
Stát konání akce : Italská republika
Název akce : World congresso of square of opposition
Datum od :
Datum do :
Druh prezentace : Přednáška
Instituce :
Klíčová slova anglicky :
Fuzzy type theory; Intermediate quantifiers; Generalized Aristotle's square of opposition; Generalized Peterson's square of opposition
Popis v původním jazyce :
In this contribution, we introduce formal theory on the basis of which we can analyze the generalized Aristotelian square of opposition, that, in addition to the classical quantifiers, can be extended by several selected intermediate quantifiers (for example, ``most'', ``many'', etc.). We show that the expected relations can be well modeled in our theory. Our analysis is motivated by Peterson's analysis as presented in his book, and our goal is to demonstrate that the proposed formal theory addresses well all of the problems that are encountered when considering intermediate quantifiers. It is also clear that the studied relations correspond to the proved generalized syllogisms.
Popis v anglickém jazyce :
Aristotelian square of opposition, that, in addition to the classical quantifiers, can be extended by several selected intermediate quantifiers (for example, ``most'', ``many'', etc.). We show that the expected relations can be well modeled in our theory. Our analysis is motivated by Peterson's analysis as presented in his book, and our goal is to demonstrate that the proposed formal theory addresses well all of the problems that are encountered when considering intermediate quantifiers. It is also clear that the studied relations correspond to the proved generalized syllogisms.
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}