Weakening-free fuzzy logics with the connective

DOI10.1007/S00500-012-0879-4MaRDI QIDQ2391677zbMATH OpenOpenAlexFDO

Authors Eunsuk Yang

Publication date 5 August 2013

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-012-0879-4

zbMATH Keywords

many-valued logicst-normt-norm logicsuninorm logicsuninorn

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Review text

The observation that the identity element for t-norms is \(1\) and for uninorms is a number lying anywhere in \([0, 1]\) is the starting point of the investigation in this paper. Firstly, weakening-free uninorm logics expanded by the connective \(\Delta\), which can be interpreted by the Baaz projection are introduced. In the second part, expansions of the weakening-free uninorm logics by the connective \(\Delta\), which can be interpreted by uninorms defined using \(1\), \(0\) and the identity \(t\) and by uninorms defined using \(1\), \(0\), \(t\) and the negation \(f\) of \(t\) are investigated. These uninorms can be considered as generalizations of the Baaz projection.

Recommendations

• On EQ-fuzzy logics with delta connective
• EQ-logics with delta connective
• Weakly implicative (fuzzy) logics. I: Basic properties
• The \(\Delta\)-root of a theory and the generalized \(\Delta\)-modus ponens problem in \(\text{BL}^*_\Delta\)
• Compactness of fuzzy logics.

Cites work

• Fuzzy logics based on \([0,1)\)-continuous uninorms
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• Implicational (semilinear) logics. I: A new hierarchy
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Logics with disjunction and proof by cases
• Proof theory for fuzzy logics
• Protoalgebraic logics
• Substructural fuzzy logics
• Uninorm aggregation operators
• Weakly implicative (fuzzy) logics. I: Basic properties

Cited in

(3)

• The \(\Delta\)-root of a theory and the generalized \(\Delta\)-modus ponens problem in \(\text{BL}^*_\Delta\)
• On EQ-fuzzy logics with delta connective
• Conservative expansions of substructural logics

This page was built for publication: Weakening-free fuzzy logics with the connective \(\Delta\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391677)