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 * : The omitting types in fuzzy logic with evaluated syntax
Citace : Murinová, P. The omitting types in fuzzy logic with evaluated syntax. In: FSTA 2004. Liptovský ján. 2004.
Podnázev :
Rok : 2004
Obor : Obecná matematika
Místo konání : Liptovský ján
Stát konání akce : Slovenská republika
Název akce : FSTA 2004
Datum od :
Datum do :
Druh prezentace : Přednáška
Instituce :
Klíčová slova anglicky :
Lukasiewicz MV-algebra; model theory in fuzzy logic with evaluated syntax.
Popis v původním jazyce :
This paper presents a model theory respective theory of omissions of types, where the basic mathematical theory is fuzzy logic in narrow sense with evaluated syntax. For this work we assume fuzzy logic with evaluated syntax which is based on \L ukasiewicz MV-algebra of truth values (see \cite {Novak-Mockor-Perfilieva}), but this theory can be constructed for other fuzzy logic with evaluated syntax for example fuzzy logic with evaluated syntax extended by product where the corresponding structure of truth values is \L ukasiewicz MV-algebra extended by product. For further discussion of this logic (see \cite {Murinova-Landecka},\cite{Murinova}) where was shown that this logic is complete and the model theory was studied (substructure, elementary substructure, chain of models). In this paper we introduce the basic definitions and results of this theory where we suppose special set of evaluated formulas which will be formulated later.
Popis v anglickém jazyce :
This paper presents a model theory respective theory of omissions of types, where the basic mathematical theory is fuzzy logic in narrow sense with evaluated syntax. For this work we assume fuzzy logic with evaluated syntax which is based on \L ukasiewicz MV-algebra of truth values (see \cite {Novak-Mockor-Perfilieva}), but this theory can be constructed for other fuzzy logic with evaluated syntax for example fuzzy logic with evaluated syntax extended by product where the corresponding structure of truth values is \L ukasiewicz MV-algebra extended by product. For further discussion of this logic (see \cite {Murinova-Landecka},\cite{Murinova}) where was shown that this logic is complete and the model theory was studied (substructure, elementary substructure, chain of models). In this paper we introduce the basic definitions and results of this theory where we suppose special set of evaluated formulas which will be formulated later.
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}