Contrapositive symmetry of fuzzy implications
Fuzzy Sets and Systems
On the logic foundation of fuzzy reasoning
Information Sciences: an International Journal
Non-fuzzy versions of fuzzy reasoning in classical logics
Information Sciences—Informatics and Computer Science: An International Journal
R0 implication: characteristics and applications
Fuzzy Sets and Systems - Mathematics
Integrated semantics and logic metric spaces
Fuzzy Sets and Systems - Logic and algebra
The extensions Ln of the formal system Ln and their completeness
Information Sciences: an International Journal
On equivalent forms of fuzzy logic systems NM and IMTL
Fuzzy Sets and Systems
On the strict logic foundation of fuzzy reasoning
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Unified forms of fully implicational restriction methods for fuzzy reasoning
Information Sciences: an International Journal
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Information Sciences: an International Journal
Unified forms of Triple I method
Computers & Mathematics with Applications
Formalization of implication based fuzzy reasoning method
International Journal of Approximate Reasoning
Implication operators in fuzzy logic
IEEE Transactions on Fuzzy Systems
Simulation for lattice-valued doubly labeled transition systems
International Journal of Approximate Reasoning
Hi-index | 0.00 |
This paper focuses on hierarchical structures of formulas in fuzzy logical systems. Basic concepts and hierarchical structures of generalized tautologies based on a class of fuzzy logical systems are discussed. The class of fuzzy logical systems contains the monoidal t-norm based system and its several important schematic extensions: the Lukasiewicz logical system, the Godel logical system, the product logical system and the nilpotent minimum logical system. Furthermore, hierarchical structures of generalized tautologies are applied to discuss the transformation situation of tautological degrees during the procedure of fuzzy reasoning.