Problem-oriented theorem-proving method in fuzzy logic (PO-method)

DOI10.1007/BF02366316zbMATH Open0854.68089MaRDI QIDQ1922342FDOQ1922342

Authors: Yu. Ya. Samokhvalov 

Publication date: 13 January 1997

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

Recommendations

• On resolution strategies in fuzzy logic
• Fuzzy operator logic and fuzzy resolution
• Open theories, consistency and related results in fuzzy logic
• scientific article; zbMATH DE number 3880660
• Reasoning under uncertainty in fuzzy operator logic

zbMATH Keywords

fuzzy logictheorem-proving method

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• On resolution strategies in fuzzy logic
• Decomposition of linguistic-logical decision models in distributed computing environments
• Proof of theorems in fuzzy logic based on structural resolution
• Linear resolution for consequence finding
• Title not available (Why is that?)
• A new fuzzy resolution principle based on the antonym

This page was built for publication: Problem-oriented theorem-proving method in fuzzy logic (PO-method)

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