Proof of theorems in fuzzy logic based on structural resolution

DOI10.1007/S10559-019-00125-8MaRDI QIDQ2320255zbMATH OpenOpenAlexFDO

Authors 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

approximate reasoningautomatic proof of theoremscomposition rulefuzzy logicfuzzy predicatefuzzy theoremfuzzy variablegeneralized rule of modus ponenslinguistic variableprinciple of resolutions

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Proof theory for fuzzy logics
• scientific article; zbMATH DE number 6276268
• Provable degree of formulas of theories in propositional fuzzy logic systems
• A fuzzy proof theory
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• Publication:4944943
• Structural completeness in fuzzy logics
• scientific article; zbMATH DE number 1222563
• Fuzzy sets and residuated logic

Cites work

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

Cited in

(1)

• A fuzzy proof theory

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

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