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

Pomocí tohoto dialogu můžete k záznamu nahrát soubor PDF. Tento soubor musí obsahovat text tohoto záznamu (text článku, knihy, atd.). Tento soubor je důležitý pro RIV, protože může být použit jako důkaz existence tohoto záznamu.

Pro nahrání souboru klikněte na tlačítko Browse a vyberte soubor, který chcete nahrát. Nahrávání souboru zahájíte tlačítkem Nahrát soubor.

Maximální velikost souboru PDF je omezena na 100 MB.

Soubor : 

Nahrát soubor
Zavřít

Pomocí tohoto dialogu můžete stáhnout PDF soubor přiřazený tomuto záznamu. Pro stažení souboru klikněte níže na název tohoto souboru a bude Vám nabídnuta možnost soubor uložit.

Věnujte prosím pozornost také velikosti PDF souboru. Velké soubory se mohou stahovat delší dobu, pokud máte pomalé internetové připojení.

Název souboru :
Velikost souboru :
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : článek v odborném periodiku (J)
Domácí pracoviště * : Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název * : Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
Citace : Novák, V., Murinová, P. a Ferbas, P. Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers. International Journal of Approximate Reasoning. 2022, 150(150), s. 122-138. ISSN 0888-613X.
Podnázev :
Rok * : 2022
Obor * :
Kód ISSN * : 0888-613X
Oficiální název periodika * : International Journal of Approximate Reasoning
Stát vydavatele periodika * : Nizozemsko
Svazek periodika * : 150
Číslo periodika v rámci svazku * : 150
Číslo článku :
Ročník :
Počet stran článku * : 16
Strana od * : 122
Strana do * : 138
Kód UT WoS : 000863227500007
EID : 2-s2.0-85136565604
Poddruh recenzovaného článku : Článek v impaktovaném časopise (Jimp)
Klíčová slova anglicky * :
Fuzzy natural logic, Intermediate quantifiers, Extended Peterson's syllogisms, Evaluative linguistic expressions, Generalized quantifiers
Popis v původním jazyce * :
In this paper, we follow up on previous publications in which we studied generalized Peterson's syllogisms with intermediate quantifiers. We present results of two kinds. First we show that on semantic level all the valid syllogisms follow from two inequalities and one equality. Furthermore, we focus on six rules suggested by Peterson in his book using which he was able to verify validity of all syllogisms. The problem is that the rules are formulated in free natural language and so, they do not provide formal means using which it would be possible to explain why the rules do their job. Therefore, we suggested formal reformulation of them and showed that all the valid syllogisms with intermediate quantifiers indeed satisfy Peterson's rules.
Popis v anglickém jazyce * :
In this paper, we follow up on previous publications in which we studied generalized Peterson's syllogisms with intermediate quantifiers. We present results of two kinds. First we show that on semantic level all the valid syllogisms follow from two inequalities and one equality. Furthermore, we focus on six rules suggested by Peterson in his book using which he was able to verify validity of all syllogisms. The problem is that the rules are formulated in free natural language and so, they do not provide formal means using which it would be possible to explain why the rules do their job. Therefore, we suggested formal reformulation of them and showed that all the valid syllogisms with intermediate quantifiers indeed satisfy Peterson's rules.
Typ zdroje financování výsledku * :
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}