Fuzzy term-rewriting system

DOI10.1016/0165-0114(91)90028-OMaRDI QIDQ1182011zbMATH OpenFDO

Authors Bertrand I-peng Lin, Churn-Jung Liau

Publication date 27 June 1992

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

Full work available at URL https://doi.org/10.1016/0165-0114(91)90028-O

zbMATH Keywords

equational theoryfuzzy equality in first order logicfuzzy recognition algorithmFuzzy term rewriting systemspattern recognition

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Grammars and rewriting systems (68Q42) Pattern recognition, speech recognition (68T10)

Recommendations

• Fuzzy system description language
• Term rewriting systems in logic programming and in functional programming
• scientific article; zbMATH DE number 1760804
• Term Rewriting and Applications
• Fuzzy L-systems
• scientific article; zbMATH DE number 777422
• Fuzzy systems
• Fuzzy equational logic
• Fuzzy equational logic

Cites work

• A complete proof of correctness of the Knuth-Bendix completion algorithm
• A Technique for Establishing Completeness Results in Theorem Proving with Equality
• Fuzzy and probability uncertainty logics
• Fuzzy Logic and the Resolution Principle
• scientific article; zbMATH DE number 4016226 (Why is no real title available?)
• scientific article; zbMATH DE number 3952003 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 4095388 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Orderings for term-rewriting systems
• Refutational theorem proving using term-rewriting systems
• Rewrite method for theorem proving in first order theory with equality

Cited in

(2)

• Fuzzy system description language
• Confluence and termination of fuzzy relations

This page was built for publication: Fuzzy term-rewriting system

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