A survey of fuzzy implication algebras and their axiomatization

DOI10.1016/J.IJAR.2014.05.008zbMath1308.03063OpenAlexW1970922706MaRDI QIDQ459041

Dao-Wu Pei

Publication date: 8 October 2014

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

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

zbMATH Keywords

BCK-algebranonclassical logicsFI-algebrafuzzy implication algebraHFI-algebraPFI-algebraRFI-algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (3)

Characterizations of \(N(2,2, 0)\) algebras ⋮ Importation lattices ⋮ Notes on ``A survey of fuzzy implication algebras and their axiomatization

Cites Work

• Representations through a monoid on the set of fuzzy implications
• Formalization of implication based fuzzy reasoning method
• New types of fuzzy ideals in BCK/BCI-algebras
• On two distributivity equations for fuzzy implications and continuous, Archimedean t-norms and t-conorms
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Residuated lattices. An algebraic glimpse at substructural logics
• Fuzzy implications
• An algebraic approach to non-classical logics
• Fuzzy implicative ideals of BCK-algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On equivalent forms of fuzzy logic systems NM and IMTL
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• Triangular norms
• Fuzzy logic algebras on residuated lattices
• On the strict logic foundation of fuzzy reasoning
• \(R _{0}\) implication: Characteristics and applications
• On the logic foundation of fuzzy reasoning
• Robustness analysis of full implication inference method
• On fuzzy implications: an axiomatic approach
• Hierarchical structure and applications of fuzzy logical systems
• Some remarks on the distributive equation of fuzzy implication and the contrapositive symmetry for continuous, Archimedean t-norms
• Formal systems of fuzzy logic and their fragments
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM
• Weakly implicative (fuzzy) logics. I: Basic properties
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Algebraic Analysis of Many Valued Logics
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• On axiom systems of propositional calculi, XIV
• An algebra related with a propositional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A survey of fuzzy implication algebras and their axiomatization