Proof of theorems in fuzzy logic based on structural resolution

DOI10.1007/S10559-019-00125-8OpenAlexW2926157521MaRDI QIDQ2320255

Yu. Ya. Samokhvalov

Publication date: 22 August 2019

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-019-00125-8

zbMATH Keywords

fuzzy logicapproximate reasoninglinguistic variablefuzzy variablecomposition rulefuzzy predicateautomatic proof of theoremsfuzzy theoremgeneralized rule of modus ponensprinciple of resolutions

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Automatic theorem proving and fuzzy situational search for decisions
• A new fuzzy resolution principle based on the antonym
• Problem-oriented theorem-proving method in fuzzy logic (PO-method)
• Necessity Measures and the Resolution Principle
• A similarity-based resolution rule

This page was built for publication: Proof of theorems in fuzzy logic based on structural resolution