Confluence and termination of fuzzy relations

DOI10.1016/J.INS.2010.04.007zbMATH Open1202.03035OpenAlexW1991375296MaRDI QIDQ991880FDOQ991880

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

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

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)

Cites Work

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

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)