Rewriting systems over similarity and generalized pseudometric spaces and their properties

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Rewriting systems over similarity and generalized pseudometric spaces and their properties
Original language description
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
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)