Logical foundation of the quintuple implication inference methods

DOI10.1016/J.IJAR.2018.06.001MaRDI QIDQ1726231zbMATH OpenOpenAlexWikidataFDO

Authors Minxia Luo, Kaiyan Zhou

Publication date 20 February 2019

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2018.06.001

zbMATH Keywords

fuzzy reasoningmonoidal t-norm-based fuzzy logicquintuple implication inference methods

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Logic for Programming, Artificial Intelligence, and Reasoning
• The quintuple implication principle of fuzzy reasoning
• Implicational Logic, Relevance, and Refutability
• Formalised Inductive Reasoning in the Logic of Bunched Implications
• The five-valued logics: construction and interpretation
• A logical approach for direct-optimal basis of implications
• scientific article; zbMATH DE number 1463146
• Foundations of logical consequence
• scientific article; zbMATH DE number 408798
• Proof finding algorithms for implicational logics

Cites work

• A treatise on many-valued logics
• Formalization of implication based fuzzy reasoning method
• scientific article; zbMATH DE number 700081 (Why is no real title available?)
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the logic foundation of fuzzy reasoning
• On the strict logic foundation of fuzzy reasoning
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• The concept of a linguistic variable and its application to approximate reasoning. I
• The quintuple implication principle of fuzzy reasoning
• Triangular norms

Cited in

(10)

• The law of \(O\)-conditionality for fuzzy implications constructed from overlap and grouping functions
• Quintuple implication principle on interval-valued intuitionistic fuzzy sets
• Interval-valued fuzzy reasoning method based on similarity measure
• Interval-valued fuzzy reasoning full implication algorithms based on the t-representable t-norm
• Q-filters of quantum B-algebras and basic implication algebras
• Interval-valued quintuple implication principle of fuzzy reasoning
• Formalization of implication based fuzzy reasoning method
• On the symmetric quintuple implicational method of fuzzy reasoning
• First-order logic system \(\mathrm{IMTL}_{\mathrm{Q}}^{*}\) and triple I method in fuzzy reasoning with linguistic quantifiers
• The quintuple implication principle of fuzzy reasoning

This page was built for publication: Logical foundation of the quintuple implication inference methods

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