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 * : Non-commutative first-order EQ-logics
Citace : Dyba, M., Elzekey, M. a Novák, V. Non-commutative first-order EQ-logics. FUZZY SET SYST. 2016, č. 292, s. 215-241. ISSN 0165-0114.
Podnázev :
Rok * : 2016
Obor * : Obecná matematika
Kód ISSN * : 0165-0114
Oficiální název periodika * : FUZZY SET SYST
Stát vydavatele periodika * : Nizozemsko
Svazek periodika * : 292
Číslo periodika v rámci svazku * : 1
Číslo článku :
Ročník :
Počet stran článku * : 27
Strana od * : 215
Strana do * : 241
Kód UT WoS :
EID :
Poddruh recenzovaného článku : Článek v impaktovaném časopise (Jimp)
Klíčová slova anglicky * :
EQ-algebra; EQ-logic; equational logic; delta connective
Popis v původním jazyce * :
Logics based on EQ-algebras are called EQ-logics and they can be considered as special kind of fuzzy logics. After developing propositional and higher-order ones, we address in this contribution the predicate first-order EQ-logic. First, we overview some basic properties of EQ-algebras and the basic propositional EQlogic. Analysis of necessary properties of the fuzzy equality that is in predicate EQ-logic considered not only between truth values (the equivalence) but also between objects revealed that we cannot consider the fuzzy equality in full generality without means enabling us to deal with the classical (crisp) equality. This is possible using the delta-connective. Therefore, we pay a special attention to prelinear EQdelta-algebras and develop the corresponding propositional EQdelta-logic. Finally, we in detail introduce syntax and semantics of the first-order EQ-logics and prove various theorems characterizing its properties including completeness.
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: RIV/61988987:17610/16:A1701BNM

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