Confluence and termination of fuzzy relations

DOI10.1016/J.INS.2010.04.007MaRDI QIDQ991880zbMATH OpenOpenAlexFDO

Authors T. Kuhr, Vilem Vychodil, Radim Belohlavek

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

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

Recommendations

• Similarity issues of confluence of fuzzy relations
• Fuzzy term-rewriting system
• Rewriting systems over similarity and generalized pseudometric spaces and their properties
• Confluence by critical pair analysis
• Term Rewriting and Applications

Cites work

• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 1517952 (Why is no real title available?)
• scientific article; zbMATH DE number 2199279 (Why is no real title available?)
• A treatise on many-valued logics
• Abstract residuation over lattices
• Fuzzy Horn logic. I. Proof theory.
• Fuzzy Horn logic. II. Implicationally defined classes.
• Fuzzy equational logic
• Fuzzy sets
• Grouping fuzzy sets by similarity
• Is there a need for fuzzy logic?
• L-fuzzy sets
• Metamathematics of fuzzy logic
• On Fuzzy Logic I Many‐valued rules of inference
• Residuated Lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Term Rewriting and All That
• The logic of inexact concepts
• \(I\)-fuzzy equivalence relations and \(I\)-fuzzy partitions

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q991880)