Confluence and termination of fuzzy relations

DOI10.1016/j.ins.2010.04.007zbMath1202.03035OpenAlexW1991375296MaRDI QIDQ991880

Vilem Vychodil, Tomas Kuhr, Radim Bělohlávek

Publication date: 8 September 2010

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2010.04.007

zbMATH Keywords

similarityconfluencefuzzy relationsterminationsubstitutability

Mathematics Subject Classification ID

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

Related Items (2)

Rewriting systems over similarity and generalized pseudometric spaces and their properties ⋮ Similarity issues of confluence of fuzzy relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fuzzy Horn logic. II. Implicationally defined classes.
• Residuated lattices. An algebraic glimpse at substructural logics
• Is there a need for fuzzy logic?
• \(I\)-fuzzy equivalence relations and \(I\)-fuzzy partitions
• Metamathematics of fuzzy logic
• Grouping fuzzy sets by similarity
• L-fuzzy sets
• The logic of inexact concepts
• Fuzzy Horn logic. I. Proof theory.
• On Fuzzy Logic I Many‐valued rules of inference
• Term Rewriting and All That
• Fuzzy sets
• Abstract residuation over lattices
• Residuated Lattices
• Fuzzy equational logic

This page was built for publication: Confluence and termination of fuzzy relations