No abstract

In this paper, extension of the EQ-logic by the ∆-connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ ∆ -logic. We also prove the deduction theorem formulated using fuzzy equalities.

No abstract

No abstract

No abstract