Fuzzy term-rewriting system

DOI10.1016/0165-0114(91)90028-OzbMath0744.03026MaRDI QIDQ1182011

Bertrand I-peng Lin, Churn-Jung Liau

Publication date: 27 June 1992

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

zbMATH Keywords

pattern recognitionequational theoryfuzzy equality in first order logicfuzzy recognition algorithmFuzzy term rewriting systems

Mathematics Subject Classification ID

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

Cites Work

• Orderings for term-rewriting systems
• Refutational theorem proving using term-rewriting systems
• Rewrite method for theorem proving in first order theory with equality
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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