A sound and complete fuzzy logic system using zadeh's implication operator

Document Type

Conference Proceeding

Publication Date

1-1-1996

Abstract

We present a formalization of fuzzy logic based on Zadeh's implication operator a→b = max{1-a, b}. Our logical system allows the specification of both lower and upper bounds of the truth value of a formula. We present a specific system of axioms and inference rules which are both sound and complete. We also provide a generalization of the classical resolution method which acts as a decision procedure in a finite fuzzy theory.

Publication Source (Journal or Book title)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

First Page

233

Last Page

242

This document is currently not available here.

Share

COinS