Weakening-free fuzzy logics with the connective D
نویسنده
چکیده
This is an investigation of weakening-free fuzzy logics expanded by the delta connective D; which can be interpreted by Baaz’s projection and its generalizations. First, logical systems obtained from weakeningfree uninorm (based) logics by adding D to be interpreted by the Baaz projection are introduced. Next, expansions of the weakening-free uninorm logics with D to be interpreted by its generalizations are analogously considered.
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملFormal systems of fuzzy logic and their fragments
Formal systems of fuzzy logic (including the well-known à Lukasiewicz and Gödel-Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of nonclassical logics. Here we study ...
متن کاملSubstructural Fuzzy-Relevance Logic
This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, i.e., Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm (based) systems introduced by...
متن کاملCombining Paraconsistency and Relevance
A (propositional) logic L is paraconsistent with respect to a negation connective if P; P 6`L Q in case P and Q are two distinct atomic variables. Intuitively (and practically) the logic(s) we use should be paraconsistent (with respect to any unary connective!) on the ground of relevance: why should a \contradiction" concerning P imply something completely unrelated? Nevertheless, the most know...
متن کاملParaconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inc...
متن کامل