Abstract
The most normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not preserve neither 1-tautologies nor 0-contradictions. This paper introduces a normal form that partially preserves 1-tautologies for any continuous t-norm - i.e. if a formula is a 1-tautology then their normal form is also a 1-tautology but the reciprocal does not always hold. For the class of t-norms without zero divisors it preserves 0-contradictions, i.e. a formula is 0-contradiction if and only if their normal form is also 0-contradiction. The paper shows that this normal form could be used to implement an automatic theorem provers for a class of residuum-based propositional fuzzy logics.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
