Rewriting systems over similarity and generalized pseudometric spaces and their properties

DOI10.1016/J.FSS.2014.11.001zbMath1373.68275OpenAlexW2007921478MaRDI QIDQ1677217

Tomas Kuhr, Vilem Vychodil

Publication date: 10 November 2017

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2014.11.001

zbMATH Keywords

estimationconfluencefuzzy relationsresiduated latticesgeneralized pseudometric spacessimilarity spaces

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of semi-groups on a compact manifold with boundary
• Fuzzy Horn logic. II. Implicationally defined classes.
• A rationale for conditional equational programming
• Confluence and termination of fuzzy relations
• Conditional rewrite rules
• Conditional rewrite rules: Confluence and termination
• Term-rewriting systems with rule priorities
• Metamathematics of fuzzy logic
• Triangular norms
• Metrics and \(\mathcal T\)-equalities
• Nominal rewriting
• Fuzzy Horn logic. I. Proof theory.
• Similarity issues of confluence of fuzzy relations
• An approach to measure the robustness of fuzzy reasoning
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Testing for the Church-Rosser Property
• Term Rewriting and All That
• Do exact shapes of fuzzy sets matter?
• Fuzzy sets
• Formal Concept Analysis
• Fuzzy equational logic

This page was built for publication: Rewriting systems over similarity and generalized pseudometric spaces and their properties