On the implication operator in fuzzy logic
Information Sciences: an International Journal
Interval valued fuzzy sets based on normal forms
Fuzzy Sets and Systems
On fuzzy implication operators
Fuzzy Sets and Systems
Fuzzy implication operators and generalized fuzzy method of cases
Fuzzy Sets and Systems
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy Sets and Systems - Special issue on fuzzy information processing
What is a logical system?
Fuzzy logic and arithmetical hierarchy
Fuzzy Sets and Systems
A first course in fuzzy logic
Graded consequence and some metalogical notions generalized
Fundamenta Informaticae
A survey on different triangular norm-based fuzzy logics
Fuzzy Sets and Systems - Special issue on analytical and structural considerations in fuzzy modeling
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
A new fuzzy resolution principle based on the antonym
Fuzzy Sets and Systems
Fuzzy logic: mathematical tools for approximate reasoning
Fuzzy logic: mathematical tools for approximate reasoning
Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Fuzzy Logic: Misconceptions and Clarifications
Artificial Intelligence Review
Automorphisms, negations and implication operators
Fuzzy Sets and Systems - Implication operators
On some new classes of implication operators and their role in approximate reasoning
Information Sciences—Informatics and Computer Science: An International Journal
On the characterizations of fuzzy implications satisfying I(x,y)=I(x,I(x,y))
Information Sciences: an International Journal
Propositional Logic as a Propositional Fuzzy Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Most of the normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not always preserve tautologies and contradictions which is important, for example, for automated theorem provers based on refutation methods. De Morgan implicative systems are triples like the De Morgan systems, which consider fuzzy implications instead of t-conorms. These systems can be used to evaluate the formulas of a propositional language based on the logical connectives of negation, conjunction and implication. Therefore, they determine different fuzzy logics, called implicative De Morgan fuzzy logics. In this paper, we will introduce a normal form for implicative De Morgan systems and we will show that for implicative De Morgan fuzzy logics whose t-norms are strict, this normal form preserves contradictions as well as tautologies.