Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F20%3AA21024TV" target="_blank" >RIV/61988987:17610/20:A21024TV - isvavai.cz</a>

Výsledek na webu

<a href="https://www.mdpi.com/2227-7390/8/3/432" target="_blank" >https://www.mdpi.com/2227-7390/8/3/432</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3390/math8030432" target="_blank" >10.3390/math8030432</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory

Popis výsledku v původním jazyce

In this paper, we will visit Rough Set Theory and the Alternative Set Theory (AST) and elaborate a few selected concepts of them using the means of higher-order fuzzy logic (this is usually called Fuzzy Type Theory). We will show that the basic notions of rough set theory have already been included in AST. Using fuzzy type theory, we generalize basic concepts of rough set theory and the topological concepts of AST to become the concepts of the fuzzy set theory. We will give mostly syntactic proofs of the main properties and relations among all the considered concepts, thus showing that they are universally valid.

Název v anglickém jazyce

Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory

Popis výsledku anglicky

In this paper, we will visit Rough Set Theory and the Alternative Set Theory (AST) and elaborate a few selected concepts of them using the means of higher-order fuzzy logic (this is usually called Fuzzy Type Theory). We will show that the basic notions of rough set theory have already been included in AST. Using fuzzy type theory, we generalize basic concepts of rough set theory and the topological concepts of AST to become the concepts of the fuzzy set theory. We will give mostly syntactic proofs of the main properties and relations among all the considered concepts, thus showing that they are universally valid.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/EF17_049%2F0008414" target="_blank" >EF17_049/0008414: Centrum pro výzkum a vývoj metod umělé intelligence v automobilovém průmyslu regionu</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Mathematics

ISSN

2227-7390

e-ISSN

—

Svazek periodika

8

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

22

Strana od-do

432-453

Kód UT WoS článku

000524085900131

EID výsledku v databázi Scopus

2-s2.0-85082421487