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

DOI10.1007/BF02366316zbMath0854.68089MaRDI QIDQ1922342

Yu. Ya. Samokhvalov

Publication date: 13 January 1997

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

zbMATH Keywords

fuzzy logictheorem-proving method

Mathematics Subject Classification ID

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

Related Items (2)

Decomposition of linguistic-logical decision models in distributed computing environments ⋮ Proof of theorems in fuzzy logic based on structural resolution

Cites Work

• Unnamed Item
• Unnamed Item

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