Rewriting systems over similarity and generalized pseudometric spaces and their properties

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33155445" target="_blank" >RIV/61989592:15310/15:33155445 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.sciencedirect.com/science/article/pii/S0165011414004898" target="_blank" >http://www.sciencedirect.com/science/article/pii/S0165011414004898</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.fss.2014.11.001" target="_blank" >10.1016/j.fss.2014.11.001</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Rewriting systems over similarity and generalized pseudometric spaces and their properties

Popis výsledku v původním jazyce

We present a study of confluence and related properties of fuzzy relations defined over similarity spaces. The ordinary confluence is an essential property of relations connected to the idea of rewriting and substituting which appears in abstract rewriting systems. This paper is a continuation of our previous paper, where we have introduced analogous notions related to substitutability in graded setting using residuated lattices as structures of truth degrees, leaving the ordinary notions a particular case when the underlying structure is the two-valued Boolean algebra. In this paper, we further extend our previous results by developing the notions of confluence and related properties respecting a given similarity relation. We also present definitionsof confluence and related properties of relations on a generalized pseudometric spaces. Using the well-known link between generalized pseudometrics and similarities, we describe the connection of the notions defined on generalized pseudom

Název v anglickém jazyce

Rewriting systems over similarity and generalized pseudometric spaces and their properties

Popis výsledku anglicky

We present a study of confluence and related properties of fuzzy relations defined over similarity spaces. The ordinary confluence is an essential property of relations connected to the idea of rewriting and substituting which appears in abstract rewriting systems. This paper is a continuation of our previous paper, where we have introduced analogous notions related to substitutability in graded setting using residuated lattices as structures of truth degrees, leaving the ordinary notions a particular case when the underlying structure is the two-valued Boolean algebra. In this paper, we further extend our previous results by developing the notions of confluence and related properties respecting a given similarity relation. We also present definitionsof confluence and related properties of relations on a generalized pseudometric spaces. Using the well-known link between generalized pseudometrics and similarities, we describe the connection of the notions defined on generalized pseudom

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2015

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

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Svazek periodika

275

Číslo periodika v rámci svazku

SEP

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

20

Strana od-do

110-129

Kód UT WoS článku

000356141200005

EID výsledku v databázi Scopus

—